Skip to main content
SpringerLink
Log in

Petri Nets with Structured Data

  • Conference paper
  • First Online:
Application and Theory of Petri Nets and Concurrency (PETRI NETS 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9115))

Abstract

This paper proposes Structured Data Nets (StDN), a Petri net extension that describes transactional systems with data. In StDNs, tokens are structured documents. Each transition is attached to a query, guarded by patterns, (logical assertions on the contents of its preset) and transforms tokens. We define StDNs and their semantics. We then consider their formal properties: coverability of a marking, termination and soundness of transactions. Unrestricted StDNs are Turing complete, so these properties are undecidable. We thus use an order on documents, and show that under reasonable restrictions on documents and on the expressiveness of patterns and queries, StDNs are well-structured transition systems, for which coverability, termination and soundness are decidable.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y-K.: General decidability theorems for infinite-state systems. In: Proc. of LICS 1996, pp. 313–321. IEEE (1996)

    Google Scholar 

  2. Abiteboul, S., Benjelloun, O., Manolescu, I., Milo, T., Weber, R.: Active XML: A Data-Centric Perspective on Web Services. In: BDA02 (2002)

    Google Scholar 

  3. Abiteboul, S., Benjelloun, O., Milo, T.: Positive active XML. In: Proc. of PODS 2004, pp. 35–45. ACM (2004)

    Google Scholar 

  4. Acciai, L., Boreale, M.: Deciding safety properties in infinite-state pi-calculus via behavioural types. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part II. LNCS, vol. 5556, pp. 31–42. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  5. Akshay, S., Hélouet, L., Mukund, M.: Sessions with an unbounded number of agents. In: ACSD 2014, vol. 4281, pp. 166–175. IEEE (2014)

    Google Scholar 

  6. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for Web services (BPEL4WS). version 1.1 (2003)

    Google Scholar 

  7. Badouel, E., Hélouët, L., Kouamou, G.-E., Morvan, C.: A grammatical approach to data-centric case management in a distributed collaborative environment. In: SAC 2015. ACM (2015)

    Google Scholar 

  8. Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19–38. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  9. Bruni, R., Lanese, I., Melgratti, H., Tuosto, E.: Multiparty Sessions in SOC. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 67–82. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37(3), 22 (2012)

    Article  Google Scholar 

  11. Ding, G.: Subgraphs and well-quasi-ordering. Journal of Graph Theory 16(5), 489–502 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  12. Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, p. 103. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  13. Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere!. Theor. Comput. Sci. 256(1–2), 63–92 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  14. Genest, B., Muscholl, A., Wu, Z .: Verifying recursive active documents with positive data tree rewriting. In Proc. of FSTTCS 2010, volume 8 of LIPIcs, pp. 469–480. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)

    Google Scholar 

  15. Genrich, H.J.: Predicate/transition nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986. LNCS, vol. 254, pp. 207–247. Springer, Heidelberg (1986)

    Google Scholar 

  16. Higman, G.: Ordering by divisibility in abstract algebras. Proc. London Math. Soc. 3(2), 326–336 (1952)

    Article  MathSciNet  Google Scholar 

  17. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273–284. ACM (2008)

    Google Scholar 

  18. Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles (invited talk). In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1–24. Springer, Heidelberg (2011)

    Google Scholar 

  19. Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol. 1, 2nd edn. Monographs in Theoretical Computer Science, An EATCS Series (1996)

    Google Scholar 

  20. Lazic, R., Newcomb, T., Ouaknine, J., Roscoe, A.W., Worrell, J.: Nets with tokens which carry data. Fundam. Inform. 88(3), 251–274 (2008)

    MATH  MathSciNet  Google Scholar 

  21. Lenz, K., Oberweis, A.: Modeling interorganizational workflows with XML nets. In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34) (2001)

    Google Scholar 

  22. Irina, A.: Lomazova and Ph. Schnoebelen. Some decidability results for nested Petri nets. In: Perspectives of System Informatics, pp. 208–220 (1999)

    Google Scholar 

  23. Misra, J., Cook, W.: Computation orchestration. Software and Systems Modeling 6(1), 83–110 (2007)

    Article  Google Scholar 

  24. Mlynkova, I., Toman, K., Pokorný, J.: Statistical analysis of real XML data collections. In: Proc. of International Conference on Management of Data 2006, pp. 15–26. Tata McGraw-Hill (2006)

    Google Scholar 

  25. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42, 428–445 (2003)

    Article  Google Scholar 

  26. OASIS. Web Services Business Process Execution Language. Technical report, OASIS (2007). http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf

  27. Pugliese, R., Tiezzi, F.: A calculus for orchestration of Web services. J. Applied Logic 10(1), 2–31 (2012)

    Article  MathSciNet  Google Scholar 

  28. Wies, T., Zufferey, D., Henzinger, T.A.: Forward analysis of depth-bounded processes. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 94–108. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  29. World Wide Web Consortium. XML path language (xpath). Technical report, W3C. W3C Recommendation (1999). http://www.w3.org/TR/xpath

  30. World Wide Web Consortium. XQuery 1.0: An XML Query Language. Technical report, W3C. W3C Recommendation (1999). http://www.w3.org/TR/xquery

Download references

Author information

Authors and Affiliations

  1. INRIA Rennes Bretagne Atlantique, Rennes, France

    Eric Badouel, Loïc Hélouët & Christophe Morvan

  2. Université Paris-Est, Créteil, France

    Christophe Morvan

Authors
  1. Eric Badouel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Loïc Hélouët
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christophe Morvan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Loïc Hélouët .

Editor information

Editors and Affiliations

  1. Université Libre de Bruxelles, Brussels, Belgium

    Raymond Devillers

  2. Tampere University of Technology, Tampere, Finland

    Antti Valmari

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Badouel, E., Hélouët, L., Morvan, C. (2015). Petri Nets with Structured Data. In: Devillers, R., Valmari, A. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2015. Lecture Notes in Computer Science(), vol 9115. Springer, Cham. https://doi.org/10.1007/978-3-319-19488-2_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19488-2_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19487-5

  • Online ISBN: 978-3-319-19488-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation