1 paper
Bruno Maria René Gonzalez, Peter Gjøl Jensen, Stefan Schmid +2
Petri nets are a modeling formalism capable of describing complex distributed systems and there exists a large number of both academic and industrial tools that enable automatic ve…