Incremental development of safety properties in petri net transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1764, Issue , 2000, Pages 410-425

  Padberg, Julia ^a   Gajewsky, Maike ^a   Hoffmann, Kathrin ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

High Level Replacement System; Petri Net Transformation; Rule Based Refinement; Safety Property; Temporal Logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS; TEMPORAL LOGIC;

GENERAL THEORY; HIGH LEVEL REPLACEMENT SYSTEMS; INCREMENTAL DEVELOPMENT; MORPHISMS; PETRI NET TRANSFORMATIONS; RULE BASED; SAFETY PROPERTY;

PETRI NETS;

EID: 84949966513     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-46464-8_29     Document Type: Conference Paper

References (21)

1. C. Brown and D. Gurr, Refinement and Simulation of Nets - a categorical characterization, 13th International Conference on Application and Theory of Petri Nets, LNCS 616 (K. Jensen, ed.), Springer Verlag, 1992, pp. 76-92.
2. W. Brauer, R. Gold, and W. Vogler, A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets, Advances in Petri Nets, LNCS 483 (1990), pp. 1-46.
3. K. M. Chandy and J. Misra, Parallel program design: A foundation, Addison-Wesley, 1988.
4. A Corradini, Concurrent Computing: From Petri Nets to Graph Grammars, Proc. of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA’95), Volume 2 of Electronic Notes in Theoretical Computer Science, 1995.
5. J. Desel, On Abstraction of Nets, Advances in Petri Nets, LNCS 524, Springer Verlag, 1991, pp. 78-92.
6. J. Desel and A. Merceron, Vicinity Respecting Net Morphisms, Advances in Petri Nets, LNCS 483, Springer Verlag, 1990, pp. 165-185.
7. H. Ehrig, M. Gajewsky, and F. Parisi Presicce, High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets, vol. 3: Concurrency, Parallelism, and Distribution, ch. 4, pp. 341-399, World Scientific, Handbook of Graph Grammars and Computing by Graph Transformations, 1999, pp. 341-399, to appear.
8. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce, Parallelism and concurrency in high-level replacement systems, Math. Struct. in Comp. Science 1 (1991), pp. 361-404
9. M. Gajewsky, K. Hoffmann, and J. Padberg, Place Preserving and Transition Gluing Morphisms in Rule-Based Refinement of Place/Transition Systems, Tech. Report 99/14, Technical University Berlin, 1999, to appear.
10. Kathrin Hoffmann, Structural Compatibility in Petri Nets: Morphisms and Categories of Nets, Master’s thesis, Technical University Berlin, 1998.
11. H.-J. Kreowski, A comparison between Petri-nets and graph grammars, LNCS 100, Springer Verlag, 1981, pp. 1-19.
12. Zohar Manna and Amir Pnueli, The temporal logic of reactive and concurrent systems, specification, Springer Verlag, 1992
13. J. Padberg, Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement, Ph.D. thesis, Technical University Berlin, 1996, Shaker Verlag
14. Julia Padberg, Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems, Applied Categorical Structures (1999), accepted
15. J. Padberg, H. Ehrig, and L. Ribeiro, Algebraic high-level net transformation systems, Math. Struct. in Comp. Science 5 (1995), pp. 217-256
16. S. Peuker, Invariant Property Preserving Extensions of Elementary Petri Nets, Tech. Report 97/21, Technical University Berlin (1997).
17. J. Padberg, M. Gajewsky, and C. Ermel, Rule-Based Refinement of High-Level Nets Preserving Safety Properties, Fundamental approaches to Software Engineering, LNCS 1382, (E. Astesiano, ed.), Springer Verlag, 1998,pp. 221-238
18. Wolfgang Reisig, Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets, Springer Verlag, 1998
19. H.-J. Schneider, Graph grammars as a tool to define the behaviour of process systems: From Petri nets to Linda, Preliminary Proc. of 5th International Workshop on Graph Grammars and their Application to Computer Science (G. Engels and G. Rozenberg, eds.), 1994
20. H.-J. Schneider, Describing Systems of Processes by means of High-Level Replacement, vol. 3: Concurrency, Parallelism, and Distribution, ch. 7, World Scientific, Handbook of Graph Grammars and Computing by Graph Transformations, 1999, to appear
21. C. Stirling, Modal and temproal logics, Handbook of Logic in Computer Science, vol. 2, Background: Computational structures, Clarendon Press, Oxford, 1992