How much information of concurrency can be got from firing sequences in Petri Nets
2016 ◽
Vol 8
(2)
◽
pp. 12-20
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.
2004 ◽
Vol 5
(1)
◽
pp. 25-43
◽
Keyword(s):