Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-00740738
Contributor : Hongyang Qu <>
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

File

atpn12.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00740738, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

111

Files downloads

252