Sidebar

Main

Internal

Trace:

Trace: • manual

This shows you the differences between two versions of the page.

--- pn2mc:manual [2014/11/14 18:20]
jbiernacki created
+++ pn2mc:manual [2021/09/23 08:51] (current)
@@ Line 1: / Line 1: @@
-{{:logo.png?350|}}
+====== Online PetriNet2ModelChecker Manual ======
+{{:logo.png?230 |}} **Jerzy Biernacki, Agnieszka Biernacka**\\
+AGH University of Science and Technology, Krakow, Poland.
-**Jerzy Biermacki, Agnieszka Biernacka**: //On-line PetriNet2ModelChecker Manual//. AGH University of Science and Technology, Krakow, Poland.
 ===== Contents =====
@@ Line 7: / Line 9: @@
   - [[:pn2mc:introduction|Introduction]]
   - [[:pn2mc:quick_start|Quick Start]]
-  - [[:pn2mc:features|PetriNet2ModelChecker features overview]]**FIXME**
+  - [[:pn2mc:features|PetriNet2ModelChecker features overview]]
-  - [[:pn2mc:rtcpn_modelling|RTCP-nets modelling in CPN Tools]]**FIXME**
+  - [[:pn2mc:cov_tina|PT-net coverability graph generation in TINA]]
-  - [[:pn2mc:compiler|RTCP-nets compiler]]**FIXME**
+  - [[:pn2mc:cov_cpntools|CP-net reachability graph generation in CPN Tools]]
-  - [[:pn2mc:compiler|RTCP-nets model checking]]**FIXME**
+  - [[:pn2mc:rtcpn_modelling|RTCP-nets modelling in CPN Tools]]
-  - **FIXME**
+  - [[: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]]