A High Level Language for Structural Relations in Well-Formed Nets-Reference-Cited by-同舟云学术

A High Level Language for Structural Relations in Well-Formed Nets

Published:2005 Issue: Volume: Page:168-187
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets 2005
language:
Short-container-title:

Author:

Capra Lorenzo,De Pierro Massimiliano,Franceschinis Giuliana

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11494744_11

Reference16 articles.

1. Jensen, K., Rozenberg, G. (eds.): High-Level Petri Nets. Theory and Application. Springer, Heidelberg (1991)

2. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE TC 42(11), 1343–1360 (1993)

3. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1997) (2nd corrected printing 1997. ISBN: 3-540-60943-1)

4. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science B (Logic, semantics and theory of programming) 176, 39–65 (1997)

5. Lecture Notes in Computer Science;R. Brgan,1995

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal specification and verification of decentralized self-adaptive systems using symmetric nets;Discrete Event Dynamic Systems;2021-08-05

2. SNexpression: A Symbolic Calculator for Symmetric Net Expressions;Application and Theory of Petri Nets and Concurrency;2020

3. Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets;Dependable Software Engineering. Theories, Tools, and Applications;2020

4. An Operational Semantics of Graph Transformation Systems Using Symmetric Nets;Electronic Proceedings in Theoretical Computer Science;2019-09-02

5. Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding;Computer Performance Engineering;2018