How much information of concurrency can be got from firing sequences in Petri Nets

Doan Van Ban, Dang Van Hung


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.


Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology