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
Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. Lecture Notes in Computer Science, pp.212-233, 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 9 janvier 2019 - 22:40:22
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. Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. Lecture Notes in Computer Science, pp.212-233, 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

549

Téléchargements de fichiers

168