I Grobelna, A Karatkevich - Electronics (2079-9292), 2021 - search.ebscohost.com
Petri nets are a useful mathematical formalism for specification of manufacturing systems,
supported by various analysis and verification methods. The progress made in automating …