Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

badouel:hal-01193279

E. Badouel, L. Hélouet, C. Morvan. Petri nets with semi-structured data. In 36th International Conference on Application and Theory of Petri Nets and Concurrency, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Bruxelles, Belgium, June 2015.

Download [help]

Download Hal paper: Hal : Hyper Archive en ligne

Download paper: (link)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

This paper proposes Structured Data Nets (SDN), a Petri net extension that describes transactional systems with data. In these nets, tokens are semi-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 SDNs and their semantics. We then consider their formal properties: coverability of a marking, termination and soundness of transactions. Unrestricted SDNs 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, SDNs are well-structured transition systems, for which coverability, termination and soundness are decidable

Contact

Eric Badouel
Loic Hélouet http://people.irisa.fr/Loic.Helouet/
Christophe Morvan http://www-igm.univ-mlv.fr/~cmorvan/

BibTex Reference

@InProceedings{badouel:hal-01193279,
   Author = {Badouel, E. and Hélouet, L. and Morvan, C.},
   Title = {Petri nets with semi-structured data},
   BookTitle = {36th International Conference on Application and Theory of Petri Nets and Concurrency},
   Series = {36th International Conference on Application and Theory of Petri Nets and Concurrency},
   Address = {Bruxelles, Belgium},
   Month = {June},
   Year = {2015}
}

EndNote Reference [help]

Get EndNote Reference (.ref)