teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Petri net: forgot to render inhibitor arcs (thanks Jason)

Browse source
This commit is contained in:
Joeri Exelmans 2024-12-09 11:49:56 +01:00
parent da5856b33b
commit bef233a854
4 changed files with 35 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

16
examples/petrinet/models/m_example_inharc.od Normal file
View file

@ -0,0 +1,16 @@
# Inhibitor arc example
p0:PNPlace
p1:PNPlace
t0:PNTransition
:arc (p0 -> t0)
:arc (t0 -> p1)
t1:PNTransition
:arc (p1 -> t1)
:arc (t1 -> p0)
t2:PNTransition
:inh_arc (p0 -> t2)
:arc (t2 -> p0)

11
examples/petrinet/models/m_example_inharc_rt_initial.od Normal file
View file

@ -0,0 +1,11 @@
p0s:PNPlaceState {
numTokens = 1;
}
:pn_of (p0s -> p0)
p1s:PNPlaceState {
numTokens = 0;
}
:pn_of (p1s -> p1)