Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag-Reference-Cited by-同舟云学术

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag

Published:2011 Issue: Volume: Page:338-347
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Colange M.,Baarir S.,Kordon F.,Thierry-Mieg Y.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21834-7_20

Reference13 articles.

1. Lecture Notes in Computer Science;J. Babar,2010

2. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: On well-formed coloured nets and their symbolic reachability graph. In: Jensen, K., Rozenberg, G. (eds.) Procedings of the 11th International Conference on Application and Theory of Petri Nets (ICATPN 1990). Reprinted in High-Level Petri Nets, Theory and Application. Springer, Heidelberg (1991)

3. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science 176(1–2), 39–65 (1997)

4. Lecture Notes in Computer Science;J.-M. Couvreur,2002

5. Lecture Notes in Computer Science;J.-M. Couvreur,2005

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

1. Nets-within-nets for modeling emergent patterns in ontogenetic processes;2021-02-16

2. Foundations of Reversible Computation;Reversible Computation: Extending Horizons of Computing;2020

3. Reversing Unbounded Petri Nets;Application and Theory of Petri Nets and Concurrency;2019

4. Have You Found the Error? A Formal Framework for Learning Game Verification;Open Learning and Teaching in Educational Communities;2014

5. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems;Formal Methods and Software Engineering;2013