Rule-based refinement of high-level nets preserving safety properties

[1]  Hartmut Ehrig,et al.  Parallelism and concurrency in high-level replacement systems , 1991, Mathematical Structures in Computer Science.

[2]  J. Padberg,et al.  Reenement versus Veriication: Compatibility of Net Invariants and Stepwise Development of High-level Petri Nets , 1997 .

[3]  Jörg Desel,et al.  Vicinity respecting net morphisms , 1991, Applications and Theory of Petri Nets.

[4]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[5]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[6]  Peter Huber,et al.  Design/CPN?: A Reference Manual , 1992 .

[7]  Laure Petrucci,et al.  Semantics, composition and net properties of algebraic high-level nets , 1990, Applications and Theory of Petri Nets.

[8]  Colin Stirling,et al.  Verifying Temporal Properties of Processes , 1990, CONCUR.

[9]  Hsu-Chun Yen,et al.  A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets , 1988, Theor. Comput. Sci..

[10]  Bernhard Josko,et al.  Modular Verification of Petri Nets: The Temporal Logic Approach , 1989, REX Workshop.

[11]  Claudia Ermel,et al.  Expanding the Use of StructuringFormal Justi cation for Working on Subnets , 1997 .

[12]  Ursula Goltz,et al.  Equivalences and Refinement , 1990, Semantics of Systems of Concurrent Processes.

[13]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[14]  U. Rembold,et al.  Predicate/transition nets in FMS control , 1991, Proceedings IECON '91: 1991 International Conference on Industrial Electronics, Control and Instrumentation.

[15]  Hartmut Ehrig,et al.  Introduction to Universal Parameterized Net Classes , 1999 .

[16]  Hartmut Ehrig,et al.  Algebraic high-level net transformation systems , 1995, Mathematical Structures in Computer Science.

[17]  Heinrich Hußmann,et al.  The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System , 1995, KORSO Book.

[18]  Raymond R. Devillers,et al.  The box calculus: a new causal algebra with multi-label communication , 1992, Advances in Petri Nets: The DEMON Project.

[19]  Kurt Jensen,et al.  Coloured Petri Nets , 1996, Monographs in Theoretical Computer Science. An EATCS Series.

[20]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

[21]  Wolffried Stucky,et al.  INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems , 1994, Inf. Syst..

[22]  Claudia Ermel,et al.  Requirements engineering of a medical information system using rule-based refinement of Petri nets , 1996 .