This is an old revision of the document!
Jerzy Biermacki, Agnieszka Biernacka:
On-line PetriNet2ModelChecker Manual.
AGH University of Science and Technology, Krakow, Poland.
This is an old revision of the document!
Jerzy Biermacki, Agnieszka Biernacka:
On-line PetriNet2ModelChecker Manual.
AGH University of Science and Technology, Krakow, Poland.