Sidebar

Main

Internal

Trace:
Trace: • manual

This is an old revision of the document!

Online PetriNet2ModelChecker Manual

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

Contents

  1. Introduction
  2. Quick Start
  3. PetriNet2ModelChecker features overview
  4. Coverability graph generation in TINA
  5. Reachability graph generation in CPN Tools
  6. RTCP-nets modelling in CPN ToolsFIXME
  7. RTCP-nets compiler
  8. RTCP-nets model checkingFIXME
  9. Frequently Asked Questions
© Marcin Szpyrka 2008-2024