Maximal Confluent Processes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Maximal Confluent Processes

Résumé

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.

Domaines

Informatique
Fichier principal
Vignette du fichier
atpn12.pdf (254.16 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00740738 , version 1 (10-10-2012)

Identifiants

  • HAL Id : hal-00740738 , version 1

Citer

Xu Wang. Maximal Confluent Processes. 33rd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2012, Hamburg, Germany. pp.188-207. ⟨hal-00740738⟩

Collections

CONNECT
50 Consultations
170 Téléchargements

Partager

Gmail Facebook X LinkedIn More