Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Hongyang Qu Connect in order to contact the contributor
Submitted on : Wednesday, October 10, 2012 - 5:58:42 PM
Last modification on : Thursday, October 11, 2012 - 4:19:02 PM
Long-term archiving on: : Friday, January 11, 2013 - 3:42:44 AM


Files produced by the author(s)


  • HAL Id : hal-00740738, version 1



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⟩



Record views


Files downloads