Home // VALID 2014, The Sixth International Conference on Advances in System Testing and Validation Lifecycle // View article

Algebraic Analysis of Branching Processes

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

Keywords: Petri Nets; Unfolding; Branching process; Algebra

Abstract:
Combinatory explosion is a limit which can be en- countered when a state space exploration is driven on large specification modeled with Petri nets. Technics like unfolding have been proposed to cope with this problem. This paper presents an axiomatic model to reduce unfoldings to canonic forms which preserves conflicts.

Pages: 21 to 27

Copyright: Copyright (c) IARIA, 2014

Publication date: October 12, 2014

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-370-4

Location: Nice, France

Dates: from October 12, 2014 to October 16, 2014