A systematic approach towards object-based petri net formalisms

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

Volumn 2244 LNCS, Issue , 2001, Pages 255-267

  Farwer, Berndt ^a   Lomazova, Irina ^b  

^a UNIVERSITY OF HAMBURG   (Germany)

^b PROGRAM SYSTEMS INSTITUTE   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; LINEAR ALGEBRA; PETRI NETS; INFORMATION SCIENCE;

CONSERVATIVE EXTENSIONS; LINEAR LOGIC; MULTILEVELS; OBJECT BASED; OBJECT ORIENTED APPROACH;

COMPUTER CIRCUITS; PETRI NETS;

EID: 0005703520     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45575-2_26     Document Type: Conference Paper

References (11)

1. Farwer B. A Linear Logic View of Object Petri Nets. Fundamenta Informaticae, 37:225-246, 1999.
2. Farwer B. A Multi-Region Linear Logic Based Calculus for Dynamic Petri Net Structure. Fundamenta Informaticae, 43:61-79, 2000.
3. Farwer B. Relating Formalisms for Non-Object-Oriented Object Petri Nets. In Proceedings of the Concurrency Specification and Programming (CS&P'2000) Workshop. 9-11 October 2000. Vol. 1, pp. 53-64. Informatik-Bericht Nr.140, Humboldt- Universiẗat zu Berlin, Informatik-Berichte, Berlin, 2000.
4. Farwer B. Linear Logic Based Calculi for Object Petri Nets. Dissertation, Universit ̈at Hamburg. Published by: Logos Verlag, ISBN 3-89722-539-5, Berlin, 2000.
5. Girard J.-Y. Linear Logic. Theoretical Computer Science, 50:1-102, 1987.
6. Lakos C. A. FromColour ed Petri Nets to Object Petri Nets. Proc. Int. Conf. on Appl. and Theory of Petri Nets, pp. 278-297. LNCS 935. Springer-Verlag, 1995.
7. Lomazova I. A. Nested Petri Nets - A Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundamenta Informaticae, 43:195-214, 2000.
8. Lomazova I. A. Nested Petri Nets: Multi Level and Recursive Systems. In Proceedings of the Concurrency Specification and Programming (CS&P'2000) Workshop. 9-11 October 2000. Vol. 1., pp. 117-128. Informatik-Bericht Nr.140, Humboldt- Universiẗat zu Berlin, Informatik-Berichte, Berlin, 2000.
9. Lomazova I. A. and Schnoebelen Ph. Some Decidability Results for Nested Petri Nets. In: Proc. Andrei Ershov 3rd Int. Conf. Perspectives of System Informatics (PSI'99), Novosibirsk, Russia, July 1999, pp. 207-219. LNCS 1755, Springer-Verlag, 1999.
10. Valk R. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Proc. Int. Conf. on Application and Theory of Petri Nets, LNCS 1420, Springer- Verlag, pp. 1-25, 1998.
11. Zapf M., Heinzl A. Techniques for Integrating Petri Nets and Object-Oriented Concepts. Working Papers in Information Systems, No.1/1998. University of Bayreuth, 1998.