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⟩
344 Consultations
154 Téléchargements

Partager

Gmail Facebook X LinkedIn More