Maximal Confluent Processes

Abstract : In process semantics of Petri Net, a non-sequential process is a concurrent run of the system represented in a partial order-like structure. For transition systems it is possible to define a similar notion of concurrent run by utilising the idea of confluence. Basically a confluent process is an acyclic confluent transition system that is a partial unfolding of the original system. Given a non-confluent transition system G, how to find maximal confluent processes of G is a theoretical problem having many practical applications. In this paper we propose an unfolding procedure for extracting maximal confluent processes from transition systems. The key technique we utilise in the procedure is the construction of granular configuration structures (i.e. a form of event structures) based on diamond-structure information inside transition systems.
Type de document :
Communication dans un congrès
Serge Haddad and Lucia Pomello. 33rd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2012, Hamburg, Germany. Springer, 7347, pp.188-207, 2012, Lecture Notes in Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00740738
Contributeur : Hongyang Qu <>
Soumis le : mercredi 10 octobre 2012 - 17:58:42
Dernière modification le : jeudi 11 octobre 2012 - 16:19:02
Document(s) archivé(s) le : vendredi 11 janvier 2013 - 03:42:44

Fichier

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

Identifiants

  • HAL Id : hal-00740738, version 1

Collections

Citation

Xu Wang. Maximal Confluent Processes. Serge Haddad and Lucia Pomello. 33rd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2012, Hamburg, Germany. Springer, 7347, pp.188-207, 2012, Lecture Notes in Computer Science. 〈hal-00740738〉

Partager

Métriques

Consultations de la notice

74

Téléchargements de fichiers

83