Petri nets with semi-structured data

Eric Badouel 1 Loïc Hélouët 1 Christophe Morvan 1, 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Type de document :
Communication dans un congrès
36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. Petri nets 2015, 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency. 〈http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01193279
Contributeur : Loic Helouet <>
Soumis le : lundi 7 septembre 2015 - 08:23:27
Dernière modification le : mercredi 11 avril 2018 - 12:08:02
Document(s) archivé(s) le : mardi 8 décembre 2015 - 10:39:55

Fichier

Datanets.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01193279, version 1

Citation

Eric Badouel, Loïc Hélouët, Christophe Morvan. Petri nets with semi-structured data. 36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. Petri nets 2015, 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency. 〈http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html〉. 〈hal-01193279〉

Partager

Métriques

Consultations de la notice

394

Téléchargements de fichiers

115