Properties of super-dual nets

Fundamenta Informaticae

Volumn 72, Issue 1-3 SPEC. ISS., 2006, Pages 245-254

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

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC; INFORMATION RETRIEVAL; INFORMATION TECHNOLOGY; WORLD WIDE WEB;

INTERCHANGING; MARKED TRANSITION; NET FORMALISM; SUPER-DUAL NETS;

PETRI NETS;

EID: 33747059295     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (8)

1. Farwer, B.: A Linear Logic View of Object Petri Nets, Fundamenta Informaticae, 37(3), 1999, 225-246.
2. Köhler, M., Rölke, H.: Concurrency for Mobile Object-Net Systems, Fundamenta Informaticae, 54(2-3), 2003.
3. Köhler, M., Rölke, H.: Properties of Object Petri Nets, International Conference on Application and Theory of Petri Nets 2004 (J. Cortadella, W. Reisig, Eds.), 3099, Springer-Verlag, 2004.
4. Lautenbach, K.: Duality of marked place/transition nets, Technical Report 18, Universität Koblenz-Landau, 2003.
5. Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification of Multi-agent distributed systems, Fundamenta Informaticae, 43(1-4), 2000, 195-214.
6. Valk, R.: Self-Modifying Nets, a Natural Extension of Petri Nets., Automata, Languages and Programming (Ausiello, G., Böhm, C., Eds.), 62, Springer-Verlag, 1978.
7. Valk, R.: Modelling Concurrency by Task/Flow EN Systems, 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991.
8. Valk, R.: Object Petri nets: Using the nets-within-nets paradigm, Advanced Course on Petri Nets 2003 (J. Desel, W. Reisig, G. Rozenberg, Eds.), 3098, Springer-Verlag, 2003.