Maximal Confluent Processes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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.
Fichier principal
Vignette du fichier
atpn12.pdf (254.16 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00740738 , version 1

Cite

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 View
170 Download

Share

Gmail Facebook X LinkedIn More