We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Using transition set sequences to partition behaviors of petri nets.
- Authors
Wang, Yunhe; Jiao, Li
- 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.
- Subjects
PARTITIONS (Mathematics); MATHEMATICAL sequences; SET theory; PETRI nets; COMPLETENESS theorem; SEMANTICS
- Publication
Acta Informatica, 2012, Vol 49, Issue 1, p15
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-011-0147-6