Process net reconstruction from the sequence of Petri net transition triggerings

zbMath0965.68057MaRDI QIDQ5928733

Vladimir A. Zakharov, N. N. Thuang, Dang Van Hung, D. V. Ban

Publication date: 2 April 2001

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

Petri net theory

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Graph theory (including graph drawing) in computer science (68R10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Process net reconstruction from the sequence of Petri net transition triggerings