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