Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis.

Ludwik Czaja Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. 43-58 2002 51 Fundam. Inform. 1-2 db/journals/fuin/fuin51.html#Czaja02