Your Nets
Sample Net
Petri Net
Create New
Type
Type
PN
LTS
Sample Net
About
Go to GitHub
Reset Net Storage
Impressum
File
New
Petri Net
Transition System
Import APT
Export APT
Rename Net
Delete Net
Tools
Fix Nodes
Places
Transitions
Arrows
Tokens
Delete
Labels
Analyze
Petri Net Analysis
Coverability Graph
2
p1
5
p2
3
t1
