Petri nets with semi-structured data - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Petri nets with semi-structured data

Résumé

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.
Fichier principal
Vignette du fichier
Datanets.pdf (407.58 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01193279 , version 1 (07-09-2015)

Identifiants

  • HAL Id : hal-01193279 , version 1

Citer

Eric Badouel, Loïc Hélouët, Christophe Morvan. Petri nets with semi-structured data. Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. pp.212-233. ⟨hal-01193279⟩
348 Consultations
162 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More