Home // International Journal On Advances in Systems and Measurements, volume 8, numbers 1 and 2, 2015 // View article

Conflict Equivalence of Branching Processes

Authors:
David Delfieu
Maurice Comlan
Médésu Sogbohossou

Keywords: Petri Nets; Unfolding; Branching process; Algebra.

Abstract:
For concurrent and large systems, specification step is a crucial point. Combinatory explosion is a limit that can be encountered when a state space exploration is driven on large specification modeled with Petri nets. Considering bounded Petri nets, technics like unfolding can be a way to cope with this problem. This paper is a first attempt to present an axiomatic model to produce the set of processes of unfoldings into a canonic form. This canonic form allows to define a conflict equivalence.

Pages: 80 to 91

Copyright: Copyright (c) to authors, 2015. Used with permission.

Publication date: June 30, 2015

Published in: journal

ISSN: 1942-261x