Sidebar

Main

Internal

Trace:
Trace: • manual

This is an old revision of the document!

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. RTCP-nets model checkingFIXME
  9. Frequently Asked Questions
© Marcin Szpyrka 2008-2024