====== Online PetriNet2ModelChecker Manual ======

{{:logo.png?230 |}} **Jerzy Biernacki, Agnieszka Biernacka**\\
AGH University of Science and Technology, Krakow, Poland.


===== Contents =====

  - [[:pn2mc:introduction|Introduction]]
  - [[:pn2mc:quick_start|Quick Start]]
  - [[:pn2mc:features|PetriNet2ModelChecker features overview]]
  - [[:pn2mc:cov_tina|PT-net coverability graph generation in TINA]]
  - [[:pn2mc:cov_cpntools|CP-net reachability graph generation in CPN Tools]]
  - [[:pn2mc:rtcpn_modelling|RTCP-nets modelling in CPN Tools]]
  - [[:pn2mc:compiler|RTCP-nets compiler]]
  - [[:pn2mc:pt_cp_model_checking|PT- an CP-nets model checking]]
  - [[:pn2mc:rtcpn_model_checking|RTCP-nets model checking]]**FIXME**
  - [[:pn2mc:faq|Frequently Asked Questions]]