Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision |
pn2mc:manual [2014/11/16 21:42] jbiernacki [Contents] | pn2mc:manual [2021/09/23 08:51] (current) |
---|
====== Online PetriNet2ModelChecker Manual ====== | ====== Online PetriNet2ModelChecker Manual ====== |
| |
{{:logo.png?230 |}} **Jerzy Biermacki, Agnieszka Biernacka**:\\ | {{:logo.png?230 |}} **Jerzy Biernacki, Agnieszka Biernacka**\\ |
AGH University of Science and Technology, Krakow, Poland. | AGH University of Science and Technology, Krakow, Poland. |
| |
- [[:pn2mc:introduction|Introduction]] | - [[:pn2mc:introduction|Introduction]] |
- [[:pn2mc:quick_start|Quick Start]] | - [[:pn2mc:quick_start|Quick Start]] |
- [[:pn2mc:features|PetriNet2ModelChecker features overview]]**FIXME** | - [[:pn2mc:features|PetriNet2ModelChecker features overview]] |
- [[:pn2mc:cov_tina|Coverability graph generation in TINA]] | - [[:pn2mc:cov_tina|PT-net coverability graph generation in TINA]] |
- [[:pn2mc:cov_cpntools|Reachability graph generation in CPN Tools]] | - [[:pn2mc:cov_cpntools|CP-net reachability graph generation in CPN Tools]] |
- [[:pn2mc:rtcpn_modelling|RTCP-nets modelling in CPN Tools]]**FIXME** | - [[:pn2mc:rtcpn_modelling|RTCP-nets modelling in CPN Tools]] |
- [[:pn2mc:compiler|RTCP-nets compiler]] | - [[: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:rtcpn_model_checking|RTCP-nets model checking]]**FIXME** |
- [[:pn2mc:faq|Frequently Asked Questions]] | - [[:pn2mc:faq|Frequently Asked Questions]] |