Rule-Based Refinement of Petri Nets: A Survey-Reference-Cited by-同舟云学术

Rule-Based Refinement of Petri Nets: A Survey

Published:2003 Issue: Volume: Page:161-196
ISSN:0302-9743
Container-title:Petri Net Technology for Communication-Based Systems
language:
Short-container-title:

Author:

Padberg J.,Urbášek M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40022-6_9

Reference54 articles.

1. Lecture Notes in Computer Science;E. Best,1992

2. Lecture Notes in Computer Science;W. Brauer,1991

3. Lecture Notes in Computer Science;J. Bradfield,1990

4. Chen, Y., Tsai, W.T.: An algebraic approach to Petri net reduction and its application to protocol analysis. Technical report, University of Minnesota (1990)

5. David, R., Alla, H. (eds.): Petri Nets and Grafcet. Prentice Hall, Englewood Cliffs (1992)

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

1. Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach;Software and Systems Modeling;2022-05-03

2. Scalable reaction network modeling with automatic validation of consistency in Event-B;Scientific Reports;2022-01-25

3. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms;Transactions on Petri Nets and Other Models of Concurrency XVI;2022

4. Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms;Transactions on Petri Nets and Other Models of Concurrency VIII;2013

5. Visualization, Simulation and Analysis of Reconfigurable Systems;Applications of Graph Transformations with Industrial Relevance;2008