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

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

Volumn 1382, Issue , 1998, Pages 221-238

  Padberg, J ^a   Gajewsky, M ^a   Ermel, C ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Algebraic specification; High level nets; Petri nets; Rule based refinement; Safety property

Indexed keywords

ALGEBRA; BIOINFORMATICS; INFORMATION USE; PETRI NETS; SAFETY ENGINEERING; SOFTWARE DESIGN; SPECIFICATIONS;

ALGEBRAIC GRAPH TRANSFORMATIONS; ALGEBRAIC HIGH-LEVEL NETS; ALGEBRAIC SPECIFICATIONS; DEVELOPMENT STRATEGIES; HIGH LEVEL REPLACEMENT SYSTEMS; HIGH-LEVEL NETS; RULE BASED; SAFETY PROPERTY;

MEDICAL INFORMATION SYSTEMS;

EID: 84957082844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053593     Document Type: Conference Paper

References (33)

1. [BDH92] E. Best, R. Devillers, and J. Hall. The Box Calculus: a new causal algebra with multi-label communication. In Advances in Petri Nets, pages 21-69. Lecture Notes in Computer Science, 1992. 609.
2. [BGV90] 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.
3. [BS90] J. Bradfield and C. Stirling. Verifying temporal properties of processes. In J. C. M. Baeten et al., editors, LNCS; CONCUR'90, Theories of Concurrency: Unification and Extension. (Conference, 1990, Amsterdam, The Netherlands), pages 115-125, Springer, Berün, 1990.
4. [CHL95] F. Comeüus, H. Hufimann, and M. Löwe. The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. In M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, pages 417-445. Springer LNCS 1009, 1995. Also appeared as technical report 94-5, TU Berün.
5. [DDGJ90] W. Damm, G. Döhmen, V. Gerstner, and B. Josko. Modular verification of petri nets: The temporal logic approach. In J. W. de Bakker et al., editors, LNCS; Proceedings of the REX Workshop on Stepwise Refinement, 1989, Mook, The Netherlands, pages 180-207, Springer, Berün, 1990.
6. [DHP91] C. Dimitrovici, U. Hummert, and L. Petrucci. Composition and net properties of algebraic high-level nets. In Advances of Petri Nets. Springer Verlag Berün LNCS 524, 1991.
7. [DM90] J. Desel and A. Meceron. Vincinity Respecting Net Morphisms. In Advances in Petri Nets, pages 165-185. Springer Verlag LNCS 483, 1990.
8. [EG97] C. Ermel and M. Gajewsky. Expanding the Use Of Structuring: Formal Justification for Working on Subnets. In Proceedings of Workshop Petri Nets in System Engineering '97, pages 44-54, University Hamburg, 1997. FBI-HH-B-205/97.
9. [EHKP91] H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Paralleüsm and concurrency in high-level replacement systems. Math. Struct, in Comp. Science, 1: 361-404, 1991.
10. [Ehr79] H. Ehrig. Introduction to the algebraic theory of graph grammars. In V. Claus, H. Ehrig, and G. Rozenberg, editors, 1st Graph Grammar Workshop, LNCS 73, pages 1-69. Springer Verlag, 1979.
11. [EM85] H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berün, 1985.
12. [EP97] H. Ehrig and J. Padberg. Introduction to Universal Parametrized Net Classes. In H. Weber, H. Ehrig, and W. Reisig, editors, MoveOn-Proc. der DFG-Forschergruppe "Petrinetz-Technologie," Technical Report 97-21, TU Berün, 1997.
13. [EPE96] C. Ermel, J. Padberg, and H. Ehrig. Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets. In D. Cooke, B. J. Krämer, P. C-Y. Sheu, J. P. Tsai, and R. Mittermeir, editors, Proc. Integrated Design and Process Technology, pages 186-193. Society for Design and Process Science, 1996. Vol. l.
14. [Erm96] C. Ermel. Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen. Techn. Report 96-15, TU Berlin, 1996.
15. [Gen91] H. J. Genrich. Predicate/Transition Nets. In High-Level Petri Nets: Theory and Application, pages 3-43. Springer, 1991.
16. [GG90] R. J. vein Glabbeck and U. Golz. Equivalences and Refinement. In Semantics of Systems of Concurrent Processes, pages 309-333. Springer, 1990. Lecture Notes in Computer Science 469.
17. [GL81] H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13: 109-136, 1981.
18. [HRH91] R. R. Howell, L. E. Rosier, and Chun Yen Hsu. A taxonomy of fairness and temporal logic problems for petri nets. Theoretical Computer Science, 82(2): 341-372, 1991.
19. [Hum89] U. Hummert. Algebraische High-Level Netze. PhD thesis, Technische Uni-versität Berlin, 1989.
20. [JCHH91] K. Jensen, S. Christensen, P. Huber, and M. Holla. Design/CPN. A Reference Manual. Meta Software Cooperation, 125 Cambridge Park Drive, Cambridge Ma 02140, USA, 1991.
21. [Jen92] K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1. Springer, 1992.
22. [Jen95] K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 2. Springer, 1995.
23. [LÌ194] J. Lilius. On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, 1994.
24. [MP92] Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer-Verlag, 1992.
25. [OSS94] A. Oberweis, G. Scherrer, and W. Stucky. INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems. Information Systems, 19(8): 643-660, 1994.
26. [Pad96] J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag.
27. [PER95] J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Math. Struct, in Computer Science, 5: 217-256, 1995.
28. [Peu97] S. Peuker. Invariant property preserving extensions of elementary petri nets. Technical Report No. 97-21, TU Berlin, 1997.
29. [PGE97] J. Padberg, M. Gajewsky, and C. Ermel. Refinement versus Verification: Compatibility of Net-Invariants and Stepwise Development of High-Level Petri Nets. Technical Report 97-22, TU Berlin, 1997. to appear.
30. [Rei91] W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80: 1-34, 1991.
31. [Sch96] K. Schmidt. Symbolische Analysemethoden für algebraische Petri-Netze, volume 4. Bertz Verlag, versal edition, 1996.
32. [SM97] J. Svensson and M. Meier. Handbuch LEU Support-Guide. Vebacom Service GmbH. Also, http://www. hon. de/PRODUKT/produkt. html.
33. [Vau87] Vautherin, J. Parallel System Specification with Coloured Petri Nets. In Rozenberg, G., editor, Advances in Petri Nets 87, pages 293-308. LNCS 266, Springer, 1987.