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/16 21:41] jbiernacki [Contents] | pn2mc:manual [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Online PetriNet2ModelChecker Manual ====== | ====== Online PetriNet2ModelChecker Manual ====== | ||
- | {{: | + | {{: |
AGH University of Science and Technology, Krakow, Poland. | AGH University of Science and Technology, Krakow, Poland. | ||
Line 9: | Line 9: | ||
- [[: | - [[: | ||
- [[: | - [[: | ||
- | - [[: | + | - [[: |
- | - [[: | + | - [[: |
- | - [[: | + | - [[: |
- | - [[: | + | - [[: |
- [[: | - [[: | ||
- | - [[:pn2mc:compiler|RTCP-nets model checking]]**FIXME** | + | - [[:pn2mc:pt_cp_model_checking|PT- an CP-nets model checking]] |
+ | - [[: | ||
- [[: | - [[: |