Some decidability results for nested petri nets

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

Volumn 1755, Issue , 2000, Pages 208-220

  Lomazova, Irina A ^a   Schnoebelen, Philippe ^b  

^a Institute of the Russian Academy of Science   (Russian Federation)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; HIERARCHICAL SYSTEMS;

BOUNDEDNESS; NESTED STRUCTURES; REACHABILITY; VERIFICATION PROBLEMS;

PETRI NETS;

EID: 84943272789     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46562-6_18     Document Type: Conference Paper

References (19)

1. P. A. Abdulla, K. Ceräns, B. Jonsson, and T. Yih-Kuen. General decidabil-ity theorems for infinite-state systems. In Proc. 11th IEEE Symp. Logic in Computer Science (LICS'96), New Brunswick, NJ, USA, July 1996, pages 313-321, 1996.
2. T. Araki and T. Kasami. Some decision problems related to the reachability problem for Petri nets. Theoretical Computer Science, 3(1):85-104, 1977.
3. S. Christensen and L. Petrucci. Towards a modular analysis of coloured petri nets. In Proc. 13th Int. Conf. Application and Theory of Petri Nets, Sheffeld, UK, June 1992, volume 616 of Lecture Notes in Computer Sci-ence, pages 113-133. Springer, 1992.
4. G. Ciardo. Petri nets with marking-dependent arc cardinality: Properties and analysis. In Proc. 15th Int. Conf. Application and Theory of Petri Nets, Zaragoza, Spain, June 1994, volume 815 of Lecture Notes in Computer Science, pages 179-198. Springer, 1994.
5. C. Dufourd, A. Finkel, and Ph. Schnoebelen. Reset nets between decid-ability and undecidability. In Proc. 25th Int. Coll. Automata, Languages, and Programming (ICALP'98), Aalborg, Denmark, July 1998, volume 1443 of Lecture Notes in Computer Science, pages 103-115. Springer, 1998.
6. C. Dufourd, P. Jancar, and Ph. Schnoebelen. Boundedness of Reset P/T nets. In Proc. 26th Int. Coll. Automata, Languages, and Programming (ICALP'99), Prague, Czech Republic, July 1999, volume 1644 of Lecture Notes in Computer Science, pages 301-310. Springer, 1999.
7. A. Finkel. Reduction and covering of infinite reachability trees. Information and Computation, 89(2):144-179, 1990.
8. A. Finkel and Ph. Schnoebelen. Well-structured transition systems every-where ! Accepted for publication in Theor. Comp. Sci., October 1997.
9. A. Finkel and Ph. Schnoebelen. Fundamental structures in well-structured infinite transition systems. In Proc. 3rd Latin American Theoretical In-formatics Symposium (LATIN'98), Campinas, Brazil, Apr. 1998, volume 1380 of Lecture Notes in Computer Science, pages 102-118. Springer, 1998.
10. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. EATCS Monographs on Theoretical Computer Science. Springer, 1992.
11. C. Lakos. From coloured Petri nets to object Petri nets. In Proc. 16th Int. Conf. Application and Theory of Petri Nets, Turin, Italy, June 1995, volume 935 of Lecture Notes in Computer Science, pages 278-297. Springer, 1995.
12. I. A. Lomazova. Multi-agent systems and In Proc. Int. Workshop on Distributed Artificial Intelligence and Multi-Agent Systems (DAIMAS'97), St. Petersburg, Russia, June 1997, pages 147-152, 1997.
13. I. A. Lomazova On Proving Large Distributed Systems: Petri Net Mod-ules Verification. In Proc. 4th Int. Conf. Parallel Computing Technologies (PaCT'97), Yaroslavl, Russia, Sep. 1997, volume 1277 of Lecture Notes in Computer Science, pages 70-75. Springer, 1997.
14. I. A. Lomazova. Modelling of multi-agent dynamic systems by nested Petri nets (in Russian), August 1998. In Programmnye Sistemy: Teoreticheskie Osnovy i Prilozheniya, pages 143-156, Moscow: Nauka, 1999.
15. D. Moldt and F. Wienberg. Multi-agent-systems based on coloured Petri nets. In Proc. 18th Int. Conf. Application and Theory of Petri Nets, Toulouse, France, June 1997, volume 1248 of Lecture Notes in Computer Science, pages 82-101. Springer, 1997.
16. W. Reisig. Petri Nets. An Introduction, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer, 1985.
17. C. Sibertin-Blanc. Cooperative nets. In Proc. 15th Int. Conf. Applica-tion and Theory of Petri Nets, Zaragoza, Spain, June 1994, volume 815 of Lecture Notes in Computer Science, pages 471-490. Springer, 1994.
18. E. Smith. A survey on high-level Petri-net theory. EATCS Bull., 59:267-293, June 1996.
19. R. Valk. Petri nets as token objects: An introduction to elementary object nets. In Proc. 19th Int. Conf. Application and Theory of Petri Nets, Lisbon, Portugal, June 1998, volume 1420 of Lecture Notes in Computer Science, pages 1-25. Springer, 1998.