Decidability and complexity of Petri nets with unordered data

Theoretical Computer Science

Volumn 412, Issue 34, 2011, Pages 4439-4451

  Rosa Velardo, Fernando ^a   De Frutos Escrig, David ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Boundedness; Petri nets; Pure names; Reachability; Well structured transition systems

Indexed keywords

BOUNDEDNESS; COVERABILITY; DECISION PROBLEMS; EXPRESSIVE POWER; INHIBITOR ARCS; NAME CREATION; P/T NET; PURE NAMES; REACHABILITY; UNDECIDABILITY; WELL-STRUCTURED TRANSITION SYSTEMS;

PETRI NETS;

COMPUTABILITY AND DECIDABILITY;

EID: 79960004952     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2011.05.007     Document Type: Article

References (34)

1. W.M.P. van der Aalst, and K.M. van Hee Workflow Management: Models, Methods, and Systems 2002 MIT Press
2. M. Abadi, and A.D. Gordon A calculus for cryptographic protocols: the spi calculus Fourth ACM Conference on Computer and Communications Security 1997 ACM Press 36 47
3. P.A. Abdulla, K. Cerans, B. Jonsson, and Y. Tsay Algorithmic analysis of programs with well quasi-ordered domains Information and Computation 160 2000 109 127
4. P.A. Abdulla, G. Delzanno, On the coverability problem for constrained multiset rewriting systems, AVIS 2006, ETAPS 2006 workshop.
5. P.A. Abdulla, G. Delzanno, and L. Van Begin A classification of the expressive power of well-structured transition systems. Information and Computation 209 3 2011 248 279
6. L. Cardelli, and A.D. Gordon Mobile ambients 1st Int. Conf. on Foundations of Software Sciences and Computation Structures FOSSACS'98 LNCS vol. 1387 1998 Springer 140 155 (Pubitemid 128054430)
7. G. Delzanno Constraint-based automatic verification of abstract models of multithreaded programs Theory and Practice of Logic Programming 7 12 2007 67 91
8. J. Desel, and W. Reisig Place/transition petri nets Lectures on Petri Nets I: Basic Models LNCS vol. 1491 1998 Springer 122 173
9. R. Dietze, M. Kudlek, and O. Kummer Decidability Problems of a Basic Class of Object Nets Fundamenta Informaticae 79 2007 295 302 (Pubitemid 47409632)
10. C. Dufourd, A. Finkel, and Ph. Schnoebelen Reset nets between decidability and undecidability 25th Int. Col. on Automata, Languages and Programming ICALP'98 LNCS vol. 1443 1998 Springer 103 115 (Pubitemid 128111106)
11. C. Dufourd, P. Janar, and Ph. Schnoebelen Boundedness of reset P/T nets 26th Int. Col. on Automata, Languages and Programming ICALP'99 LNCS vol. 1644 1999 Springer 301 310
12. J. Esparza, and M. Nielsen Decidability issues for Petri Nets a survey Bulletin of the EATCS 52 1994 244 262
13. A. Finkel, J. Goubault-Larrecq, Forward analysis for WSTS, part I: completions, in: Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, STACS'09, 2009, pp. 433444.
14. A. Finkel, and J. Goubault-Larrecq Forward analysis for WSTS, part II: complete WSTS In 36th International Colloquium on Automata, Languages and Programming ICALP'09 LNCS vol. 5556 2009 Springer 188 199
15. A. Finkel, and P. Schnoebelen Well-structured transition systems everywhere! Theoretical Computer Science 256 12 2001 63 92 (Pubitemid 32666102)
16. A. Gordon Notes on nominal calculi for security and mobility Foundations of Security Analysis and Design FOSAD'00 LNCS vol. 2171 2001 Springer 262 330 (Pubitemid 33364382)
17. K. van Hee, A. Serebrenik, N. Sidorova, and M. Voorhoeve Soundness of resource-constrained workflow nets 26th Int. Conference on Application and Theory of Petri Nets ICATPN 2005 LNCS vol. 3536 2005 Springer 250 267 (Pubitemid 41422015)
18. G. Juhás, I. Kazlov, and A. Juhásová Instance deadlock: a mistery behind frozen programs PETRI NETS 2010 LNCS vol. 6128 2010 Springer 1 17
19. M. Khler Reachable markings of object Petri nets Fundamenta Informaticae 79 34 2007 401 413
20. M. Khler, and F. Heitmann On the expressiveness of communication channels for object nets Fundamenta Informaticae 93 13 2009 205 219
21. M. Khler, and H. Rlke Properties of object Petri nets 25th Int. Conf. on Petri Nets ICATPN'04 LNCS vol. 3099 2004 Springer 278 297
22. O. Kummer Undecidability in object-oriented Petri nets Petri Net Newsletter 59 2000 18 23
23. R. Lazic, T.C. Newcomb, J. Ouaknine, A.W. Roscoe, and J. Worrell Nets with tokens which carry data Fundamenta Informaticae 88 3 2008 251 274
24. I. Lomazova Nested petri nets a formalism for specification and verification of multi-agent distributed systems Fundamenta Informaticae 43 14 2000 195 214
25. I. Lomazova, and Ph. Schnoebelen Some decidability results for nested Petri nets 3rd Int. Andrei Ershov Memorial Conf. on Perspectives of System Informatics PSI'99 LNCS vol. 1755 2000 Springer 208 220
26. M. Martos-Salgado, F. Rosa-Velardo, Dynamic soundness in resource-constrained workflow nets, in: 31st IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, FORTE'11, in: LNCS (in press).
27. E.C. Milner Basic WQO- and BQO-theory I. Rival, Graphs and Order. The Role of Graphs in the Theory of Ordered Sets and Its Applications 1984 D. Reidel Publishing Co. 487 502
28. R. Milner, J. Parrow, and D. Walker A Calculus of mobile processes, I. Information and Computation 100 1 1992 1 40
29. F. Rosa-Velardo, and D. de Frutos-Escrig Name creation vs. replication in Petri net systems Fundamenta Informaticae 88 3 2008 329 356
30. F. Rosa-Velardo, and D. de Frutos-Escrig Forward analysis for Petri nets with name creation 31st Int. Conf. on Applications and Theory of Petri Nets, PETRI NETS 2010 LNCS vol. 6128 2010 Springer 185 205
31. F. Rosa-Velardo, D. de Frutos-Escrig, Decision Problems for Petri Nets with names, CoRR abs/1011.3964, 2010, http://arxiv.org/abs/1011.3964.
32. F. Rosa-Velardo, D. de Frutos-Escrig, and O. Marroquín-Alonso On the expressiveness of mobile synchronizing Petri nets SecCo'05 Electronic Notes in Theoretical Computer Science 180 1 2007 77 94 (Pubitemid 46856312)
33. P Schnoebelen Revisiting Ackermann-Hardness for lossy counter machines and reset Petri nets 355h Int. Symposium on Mathematical Foundations of Computer Science MCFS'10 LNCS vol. 6281 2010 Springer 616 628
34. R. Valk Petri nets as token objects an introduction to elementary object nets 19th Int. Conf. on Applications and Theory of Petri Nets ICATPN'98 LNCS vol. 1420 1998 Springer 1 25 (Pubitemid 128093695)