Dynamic Transition Refinement

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 2, 2007, Pages 119-134

  Köhler, Michael ^a   Rölke, Heiko ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

duality; nets within nets; Petri nets; refinement

Indexed keywords

MODEL TRANSFORMATION; TRANSITION REFINEMENT; WORKFLOW MODELING;

ABSTRACTING; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

PETRI NETS;

EID: 34250177967     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.03.007     Document Type: Article

References (20)

1. Busi N. Mobile nets. Formal Methods for Open Object-Based Distributed Systems (1999) 51-66
2. Design/CPN. Design/CPN homepage (2005). http://www.daimi.au.dk/designCPN/
3. Farwer B. A linear logic view of object Petri nets. Fundamenta Informaticae 37 (1999) 225-246
4. Fehling R. A concept of hierarchical Petri nets with building blocks. In: Rozenberg G. (Ed). Advances in Petri Nets 1993. Lecture Notes in Computer Science 674 (1993) 148-168
5. Genrich H.J., Lautenbach K., and Thiagarajan P.S. Elements of general net theory. In: Brauer W. (Ed). Net Theory and Applications, Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979. Lecture Notes in Computer Science 84 (1980) 21-163
6. Haddad S., and Poitrenaud D. Theoretical aspects of recursive Petri nets. In: Donatelli S., and Kleijn J. (Eds). Application and Theory of Petri Nets 1999. Lecture Notes in Computer Science 1630 (1999) 228-247
7. Jacob, T., O. Kummer, D. Moldt and U. Ultes-Nitsche, Implementation of workflow systems using reference nets - security and operability aspects, in: K. Jensen, editor, Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (2002)
8. Jensen K. Coloured Petri nets, Basic Methods, Analysis Methods and Practical Use. EATCS monographs on theoretical computer science (1992), Springer-Verlag
9. Köhler M., Moldt D., and Rölke H. Modelling mobility and mobile agents using nets within nets. In: Aalst W.v.d., and Best E. (Eds). International Conference on Application and Theory of Petri Nets 2003. Lecture Notes in Computer Science 2679 (2003) 121-140. http://www.springerlink.com/link.asp?id=xf5vqh9cn0q1nukw URL
10. Köhler M., and Rölke H. Concurrency for mobile object-net systems. Fundamenta Informaticae 54 (2003)
11. Köhler M., and Rölke H. Properties of Object Petri Nets. In: Cortadella J., and Reisig W. (Eds). International Conference on Application and Theory of Petri Nets 2004. Lecture Notes in Computer Science 3099 (2004) 278-297. http://www.springerlink.com/index/BLXWQ2EP7CFU2P0Y URL
12. Köhler M., and Rölke H. Properties super-dual nets. Fundamenta Informaticae 72 (2006) 245-254
13. Kummer O. Introduction to Petri nets and reference nets. Sozionik-aktuell 1 (2001). http://www.sozionik-aktuell.de/ URL
14. Kummer O., Wienberg F., Duvigneau M., Schumacher J., Köhler M., Moldt D., Rölke H., and Valk R. An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella J., and Reisig W. (Eds). International Conference on Application and Theory of Petri Nets 2004. Lecture Notes in Computer Science 3099 (2004) 484-493
15. Lautenbach, K., Duality of marked place/transition nets, Technical Report 18, Universität Koblenz-Landau (2003)
16. Lomazova I.A. Nested Petri nets - a formalism for specification of multi-agent distributed systems. Fundamenta Informaticae 43 (2000) 195-214
17. Valk R. Self-modifying nets, a natural extension of Petri nets. In: Ausiello G., and Böhm C. (Eds). Automata, Languages and Programming. Lecture Notes in Computer Science 62 (1978) 464-476
18. Valk, R., Modelling concurrency by task/flow EN systems, in: 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien (1991)
19. Valk R. Object Petri nets: Using the nets-within-nets paradigm. In: Desel J., Reisig W., and Rozenberg G. (Eds). Advanced Course on Petri Nets 2003. Lecture Notes in Computer Science 3098 (2003) 819-848
20. van der Aalst W., and Basten T. Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science 270 (2002) 125-203