How much information of concurrency can be got from firing sequences in petri nets

Đoàn Văn Ban, Dang Van Hung


It is well known from [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 from firing sequences of nets. It turns out that the information of concurrency in a firing sequences characterizes all its processes.


Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology