Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
pn2mc:manual [2014/11/14 18:25] jbiernacki | pn2mc:manual [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | {{: | + | ====== Online PetriNet2ModelChecker Manual ====== |
- | **Jerzy | + | {{: |
- | On-line PetriNet2ModelChecker Manual.\\ | + | |
AGH University of Science and Technology, Krakow, Poland. | AGH University of Science and Technology, Krakow, Poland. | ||
+ | |||
===== Contents ===== | ===== Contents ===== | ||
Line 9: | Line 9: | ||
- [[: | - [[: | ||
- [[: | - [[: | ||
- | - [[: | + | - [[: |
- | - [[: | + | - [[: |
- | - [[: | + | - [[: |
- | - [[:pn2mc:compiler|RTCP-nets model checking]]**FIXME** | + | - [[: |
- | - **FIXME** | + | - [[: |
+ | - [[:pn2mc:pt_cp_model_checking|PT- an CP-nets model checking]] | ||
+ | - [[: | ||
+ | - [[: |