Petri net modules

Journal of Integrated Design and Process Science

Volumn 6, Issue 4, 2002, Pages 105-120

  Padberg, Julia ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (27)

1. Battiston, E., F. De Cindio and G. Mauri (1991a). OBJSA Nets: A Class of High-Level Nets Having Objects as Domains. In: Advances in Petri Nets (Rozenberg/Jensen, Ed.). Springer.
2. th 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.
3. Broy, M. and T. Streicher, 1992,. Modular functional modelling of Petri nets with individual tokens. Advances in Petri Nets.
4. Buchholz, P., 1994,. Hierachical high level Petri nets for complex system analysis. In: Application and Theory of Petri Nets. Vol. LNCS 815. Springer. pp. 119-138.
5. Christinsen, S. and N.D. Hansen, 1994,. Coloured Petri nets extended with channels for synchronous communication. In: Application and Theory of Petri Nets. Vol. LNCS 815. Springer. pp. 159-178.
6. Deiters, W. and V. Gruhn, 1994,. The FUNSOFT Net Approach to Software Process Management. International Journal on Software Engineering and Knowledge Engineering 4(2), 229-256.
7. Desel, J., G. Juhás and R. Lorenz, 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.
8. Ehrig, H., A. Habel, H.-J. Kreowski and F. Parisi-Presicce, 1991,. From graph grammars to high level replacement systems. In: Lecture Notes in Computer Science 532. Springer Verlag. pp. 269-291.
9. Ehrig, H. and B. Mahr, 1990,. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Vol. 21 of EATCS Monographs on Theoretical Computer Science. Springer Verlag. Berlin.
10. Ehrig, H. and F. Orejas, 2001,. A Generic Component Concept for Integrated Data Type and Process Specification Techniques. Technical Report 2001/12. Technische Universität Berlin, FB Informatik.
11. Ehrig, H., F. Orejas, B. Braatz, M. Klein and M. Piirainen (2002a). A Generic Component Concept for System Modelling. In: Proc. FASE 2002: Formal Aspects of Software Engineering.
12. Ehrig, H., F. Orejas, B. Braatz, M. Klein and M. Piirainen (2002b). A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. In: Proc. of the Sixth World Conference on Integrated Design& Process Technology (IDPT’02). CD-ROM, 15 pages.
13. Ehrig, H., F. Orejas, B. Braatz, M. Klein and M. Piirainen (2002c). A transformation-based component framework for a generic integrated modeling technique. Journal of Integrated Design and Process Science 6(3), 36-63.
14. 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.
15. Große-Rhode, M., R.-D. Kutsche and F. Bübl, 2000,. Concepts for the evolution of componentbased software systems. Technical Report 2000/11. TU Berlin.
16. 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.
17. 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.
18. Kindler, E., 1995,. Modularer Entwurf verteilter Systeme mit Petrinetzen. PhD thesis. Technische Universität München, Institut für Informatik.
19. Meseguer, J. and U. Montanari, 1990,. Petri nets are monoids. Information and Computation 88(2), 105-155.
20. Müller, H. and Weber, H., Eds.), 1998,. Continuous Engineering of Industrial Scale Software Systems. IBFI, Schloß Dagstuhl. Dagstuhl Seminar Report #98092.
21. Padberg, J., 2001,. Place/Transition Net Modules: Transfer from Algebraic Specification Modules. Technical Report TR 01-3. Technical University Berlin.
22. Padberg, J. and M. Buder, 2001,. Structuring with Petri Net Modules: A Case Study. Technical Report TR 01-4. Technical University Berlin.
23. Sibertin-Blanc, C., 1994,. Cooperative Nets. In: Application and Theory of Petri Nets’94. pp. 471-490. Springer LNCS 815.
24. Simeoni, M., 1999,. A Categorical Approach to Modularization of Graph Transformation Systems using Refinements. PhD thesis. Università Roma "La Sapienza".
25. Urbásek, M. and J. Padberg, 2002,. Preserving liveness with rule-based refinement of place/transition systems. In: Proc. IDPT 2002: Sixth World Conference on Integrated Design and Process Technology, CD-ROM (Society for Design and Process Science (SDPS), Eds.). p. 10.
26. Weber, H., 1999,. Continuous Engineering of Communication and Software Infrastructures. Vol. 1577 of Lecture Notes in Computer Science 1577. pp. 22-29. Springer Verlag. Berlin, Heidelberg, New York.
27. Weber, H. and H. Ehrig, 1988,. Specification of concurrently executable modules and distributed modular systems. In: Proc. IEEE Workshop on Future Trends of Distr. Comp. Systems in the 1990s, Hongkong. IEEE. pp. 202-215.