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

rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism

Browse source
This commit is contained in:
Joeri Exelmans 2024-11-22 15:20:16 +01:00
parent 6ac8e30747
commit 5962a476c0
10 changed files with 69 additions and 69 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/petrinet/operational_semantics/r_fire_transition_lhs.od
View file

@ -1 +1 @@
t:RAM_Transition
t:RAM_PNTransition

10
examples/petrinet/operational_semantics/r_fire_transition_nac.od
View file

@ -1,13 +1,13 @@
# A place with no tokens:
p:RAM_Place
ps:RAM_PlaceState {
p:RAM_PNPlace
ps:RAM_PNPlaceState {
RAM_numTokens = `get_value(this) == 0`;
}
:RAM_of (ps -> p)
:RAM_pn_of (ps -> p)
# An incoming arc from that place to our transition:
t:RAM_Transition
t:RAM_PNTransition
:RAM_arc (p -> t)
:RAM_pn_arc (p -> t)

14
examples/petrinet/operational_semantics/r_fire_transition_rhs.od
View file

@ -1,19 +1,19 @@
t:RAM_Transition {
t:RAM_PNTransition {
condition = ```
# remove 1 token from every place connected with incoming arc
for incoming in get_incoming(this, "arc"):
for incoming in get_incoming(this, "pn_arc"):
in_place = get_source(incoming)
in_place_state = get_source(get_incoming(in_place, "of")[0])
in_place_state = get_source(get_incoming(in_place, "pn_of")[0])
in_num_tokens = get_slot_value(in_place_state, "numTokens")
set_slot_value(in_place_state, "numTokens", in_num_tokens - 1)
print("place", get_name(in_place_state), "now has", in_num_tokens-1, "tokens")
print("PNPlace", get_name(in_place_state), "now has", in_num_tokens-1, "tokens")
# add 1 token to every place connected with outgoing arc
for outgoing in get_outgoing(this, "arc"):
for outgoing in get_outgoing(this, "pn_arc"):
out_place = get_target(outgoing)
out_place_state = get_source(get_incoming(out_place, "of")[0])
out_place_state = get_source(get_incoming(out_place, "pn_of")[0])
out_num_tokens = get_slot_value(out_place_state, "numTokens")
set_slot_value(out_place_state, "numTokens", out_num_tokens + 1)
print("place", get_name(out_place_state), "now has", out_num_tokens+1, "tokens")
print("PNPlace", get_name(out_place_state), "now has", out_num_tokens+1, "tokens")
```;
}