Least-Cost Firing Sequence Estimation in Labeled Petri Nets with Unobservable Transitions

Author(s):  
Lingxi Li ◽  
Christoforos N. Hadjicostis
2016 ◽  
Vol 8 (2) ◽  
pp. 12-20
Author(s):  
Doan Van Ban ◽  
Dang Van Hung
Keyword(s):  

It is well know in [2, 3] that in general processes in Petri Nets are not recoverable from firing sequences. However, firing sequences in Petri Nets say  something about concurrency. The paper presents a way to define concurrency form firing sequences of nets. It turns out that the information of concurrency in a firing sequence characterise all its processes.


Sign in / Sign up

Export Citation Format

Share Document