The reachability problem for object nets

Fundamenta Informaticae

Volumn 79, Issue 3-4, 2007, Pages 401-413

  Köhler, Michael ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Decidability; Nets within nets; Petri nets; Reachability

Indexed keywords

COMPUTABILITY AND DECIDABILITY; LOGIC PROGRAMMING; PROBLEM SOLVING;

ELEMENTARY OBJECT NET SYSTEMS (EOS); REACHABILITY;

PETRI NETS;

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

References (14)

1. Araki, T., Kasami, T.: Some Decision Problems Related to the Reachability Problem for Petri Nets, Theoretical Computer Science, 3, 1977, 85-104.
2. Farwer, B.: A Linear Logic View of Object Petri Nets, Fundamenta Informaticae, 37(3), 1999, 225-246.
3. Köhler, M., Moldt, D., Rölke, H.: Modeling the Behaviour of Petri Net Agents, International Conference on Application and Theory of Petri Nets (J. M. Colom, M. Koutny, Eds.), 2075, Springer-Verlag, 2001.
4. Köhler, M., Moldt, D., Rölke, H.: Modelling Mobility and Mobile Agents using Nets within Nets, International Conference on Application and Theory of Petri Nets 2003 (W. v. d. Aalst, E. Best, Eds.), 2679, Springer-Verlag, 2003.
5. Köhler, M., Rölke, H.: Concurrency for Mobile Object-Net Systems, Fundamenta Informaticae, 54(2-3), 2003.
6. 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.
7. Köhler, M., Rölke, H.: Reference and Value Semantics are equivalent for Ordinary Object Petri Nets, International Conference on Application and Theory of Petri Nets 2005 (P. Darondeau, G. Ciardo, Eds.), 3536, Springer-Verlag, 2005.
8. Köhler, M., Rölke, H., Valk, R.: Structural Analysis of Mobile Agents using Invariants of Object Nets, Proceedings of the International Workshop on Modelling with Objects, Components, and Agents (MOCA 2004), 2004.
9. Kummer, O.: Undecidability in Object-Oriented Petri Nets, Petri Net Newsletter, 59, 2000, 18-23.
10. Lambert, J.-L.: A structure to decide the reachability in Petri nets, Theoretical Computer Science, 99, 1992, 79-104.
11. Lomazova, I. A., Schnoebelen, P.: Some Decidability Results for Nested Petri Nets, International Conference on Perspectives of System Informatics (PSI'99), 1755, Springer-Verlag, 2000.
12. Mayr, E. W.: An Algorithm for the General Petri Net Reachability Problem, SIAM Journal Computation, 13(3), August 1984, 441-460.
13. 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.
14. 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.