Safety properties in petri net modules

Journal of Integrated Design and Process Science

Volumn 8, Issue 4, 2004, Pages 65-78

  Padberg, Julia ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Module; Petri nets; Safety property

Indexed keywords

ABSTRACTING; FUNCTIONS; MATHEMATICAL MODELS; MATRIX ALGEBRA;

MODULE; SAFETY PROPERTY; TEMPORAL LOGICS;

PETRI NETS;

EID: 24044550688     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (36)

1. Allen, R., Douence, R. and Garlan, D., 1998, Specifying and analyzing dynamic software architectures. In: Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98). Lecture Notes in Computer Science 1382. Springer Verlag. Lisbon, Portugal. pp. 221-238.
2. Alur, de Alfaro, Henzinger and Mang, 1999, Automating modular verification. In: CONCUR: 10th International Conference on Concurrency Theory. LNCS 1664, Springer-Verlag.
3. Battiston, E., De Cindio, F. and Mauri, G., 1991a, OBJSA Nets: A Class of High-Level Nets Having Objects as Domains. In: Advances in Petri Nets (Rozenberg/Jensen, Ed.). Springer.
4. Battiston, E., De Cindio, F., Mauri, G. and Rapanotti, L. 1991b, Morphisms and Minimal Models for OBJSA Nets. In: 12m " International Conference on Application and Theory of Petri Nets. Gjern, Denmark, pp. 455-476. extended version: Technical Report i. 4.26, Progretto Finalizzato Sistemi Informatici e Calcolo Parallelo. Consiglio Nazionale delle Ricerche (CNR), Italy, Jan, 1991.
5. Best, E., 1997, Partial order verification with PEP.. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29, 305-328.
6. Bradfield, J., 1992, Verifying Temporal Properties of Systems. Birkhuser. Boston, Basel, Berlin.
7. Bradfield, J. and Stirling, C., 1990, Verifying temporal properties of processes. In: Lecture Notes in Computer Science; CONCUR'90, Theories of Concurrency: Unification and Extension. (Conference, 1990, Amsterdam, The Netherlands) (J.C.M. Baeten et al., Ed.). Springer Verlag. Berlin, Germany, pp. 115-125.
8. Brauer, W., Gold, R. and Vogler, W., 1991, A survey of behaviour and equivalence preserving refinements of Petri nets. Lecture Notes in Computer Science; Advances in Petri Nets 1990 483, 1-46.
9. Broy, M. and Streicher, T., 1992, Modular functional modelling of Petri nets with individual tokens. Advances in Petri Nets.
10. Buchholz, P., 1994, Hierarchical high level Petri nets for complex system analysis. In: Application and Theory of Petri Nets. Vol. LNCS 815. Springer, pp. 119-138.
11. Chandy, K.M. and Misra, J., 1988, Parallel Program Design: A Foundation. Addison-Wesley.
12. Christinsen, S. and Hansen, N.D., 1994, Coloured Petri nets extended with channels for synchronous communication. In: Application and Theory of Petri Nets. Vol. LNCS 815. Springer, pp. 159-178.
13. Deiters, W. and Gruhn, V., 1994, The FUNSOFT Net Approach to Software Process Management. International Journal on Software Engineering and Knowledge Engineering 4(2), 229-256.
14. Desel, J., Juhás, G. and Lorenz, R., 2000, Process semantics of Petri nets over partial algebra. In: Proceedings of the XXI International Conference on Applications and Theory of Petri Nets (M. Nielsen and D. Simpson, Eds.). Vol. LNCS 1825. Springer, pp. 146-165.
15. Fehling, R., 1993, A concept of hierarchical Petri nets with building blocks. In: Advances in Petri Nets'93. Springer, pp. 148-168. Lecture Notes in Computer Science 674.
16. Gajewsky, M., Hoffmann, K. and Padberg, J., 1999, Place Preserving and Transition Gluing Morphisms in Rule-Based Refinement of Place/Transition Systems. Technical Report 99-14. Technical University Berlin.
17. Große-Rhode, M., Kutsche, R.-D. and Bübi, F., 2000, Concepts for the evolution of component-based software systems. Technical Report 2000/11. TU Berlin.
18. He, X., 1996, A Formal Definition of Hierarchical Predicate Transition Nets. In: Application and Theory of Petri Nets. Vol. LNCS 1091. Springer, pp. 212-229.
19. Jensen, K., 1992, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1: Basic Concepts.. EATCS Monographs in Theoretical Computer Science ed.. Springer Verlag.
20. Kindler, E., 1995, Modularer Entwurf verteilter Systeme mit Petrinetzen. PhD thesis. Technische Universität München, Institut für Informatik.
21. Kindler, E., 2002, Dawn for component based systems - just a different view. In: PROMISE 2002 Prozessorientierte Methoden und Werkzeuge fr die Entwicklung von Informationssystemen (M. Weske J. Desel, Ed.). pp. 7-13.
22. Krämer, B., 1998, Synchronization constraints in object interfaces. In: Information Systems Interoperability (Bernd Krämer, Michael P. Papazoglou and Heinz W. Schnmidt, Eds.), pp. 111-141. Research Studies Press. Taunton, England.
23. Magee, J., Dulay, N., Eisenbach, S. and Kramer, J., 1995, Specifying distributed software architectures. In: Proceedings of ESEC '95 - 5th European Software Engineering Conference. IEEE. Sitges, Spain, pp. 137-53.
24. Manna, Z. and Pnueli, A., 1995, Temporal Verification of Reactive Systems: Safety. Springer Verlag.
25. Meseguer, J. and U. Montanari 1990, Petri Nets are Monoids. Information and Computation 88(2), 105-155.
26. Müller, H. and Weber, H., Eds. 1998, Continuous Engineering of Industrial Scale Software Systems. IBFI, Schloß Dagstuhl. Dagstuhl Seminar Report #98092.
27. Nierstrasz, O., 1995, Regular types for active objects. In: Object-Oriented Software Composition (Oscar Nierstrasz and Dennis Tsichritzis, Eds.), pp. 99-121. Prentice Hall.
28. Padberg, J., 2001, Place/Transition Net Modules: Transfer from Algebraic Specification Modules. Technical Report TR 01-3. Technical University Berlin.
29. Padberg, J., 2002, Petri net modules. Journal on Integrated Design and Process Technology 6(4), 105-120.
30. Padberg, J. and Buder, M., 2001, Structuring with Petri Net Modules: A Case Study. Technical Report TR 01-4. Technical University Berlin.
31. Reisig, W., 1998, Elements of Distributed Algorithms: Modelling and Analysis with Petri Nets. Springer Verlag.
32. Reussner, R.H., 2001, The use of parameterised contracts for architecting systems with software components. In: Proceedings of the Sixth International Workshop on Component-Oriented Programming (WCOP'01) (Wolfgang Week, Jan Bosch and Clemens Szyperski, Eds.).
33. Sibertin-Blanc, C., 1994, Cooperative Nets. In: Application and Theory of Petri Nets'94. pp. 471-490. Springer LNCS 815.
34. Stirling, C., 1992, Modal and temporal logics. In: Handbook of Logic in Computer Science. Vol. 2, Background: Computational structures. Clarendon Press, Oxford.
35. Weber, H., 1999, Continuous Engineering of Communication and Software Infrastructures.Lecture Notes in Computer Science 1577. pp. 22-29. Springer Verlag. Berlin, Heidelberg, New York.
36. Wolz, D., 1997, Colimit Computations for Graph Structures and Algebraic Specification Languages. PhD Thesis, TU Berlin, FB Informatik.