Back to Search
Start Over
Using transition set sequences to partition behaviors of petri nets.
- Source :
-
Acta Informatica . Feb2012, Vol. 49 Issue 1, p15-28. 14p. - Publication Year :
- 2012
-
Abstract
- The transition set semantics (Wang and Jiao, LNCS 6128:84-103, ) partitions the Petri net behaviors in a canonical way such that behaviors in an equivalence class have the same canonical transition set sequence. This article extends the semantics in two ways: firstly, the semantics is parameterized by the basic relation on the structural transitions to define different variants; secondly, the semantics for the infinite firing sequences of the net is defined. We prove that these extensions still preserve the well-definedness, soundness and completeness of the semantics. Furthermore, we show how to recognize some infinite sequences called back-loops in the view of this new semantics. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00015903
- Volume :
- 49
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Acta Informatica
- Publication Type :
- Academic Journal
- Accession number :
- 70563756
- Full Text :
- https://doi.org/10.1007/s00236-011-0147-6