Online PetriNet2ModelChecker Manual

Jerzy Biernacki, Agnieszka Biernacka
AGH University of Science and Technology, Krakow, Poland.

Contents

  1. Introduction
  2. Quick Start
  3. PetriNet2ModelChecker features overview
  4. PT-net coverability graph generation in TINA
  5. CP-net reachability graph generation in CPN Tools
  6. RTCP-nets modelling in CPN Tools
  7. RTCP-nets compiler
  8. PT- an CP-nets model checking
  9. RTCP-nets model checkingFIXME
  10. Frequently Asked Questions