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

Doan Van Ban, Dang Van Hung

Abstract



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.




DOI: https://doi.org/10.15625/1813-9663/8/2/8268

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology