Hudak, S.; Korecko, S.; Simonak, S.
(2008)
Annotation. In this paper we deal with the PNtool - a tool for a design, analysis and development of concurrent and time-critical systems specified using the Petri nets (PN) formalism. The PNtool supports four Petri nets ...