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

petrinet example fixed

Browse source
This commit is contained in:
robbe 2025-04-24 12:33:38 +02:00
parent 756b3f30da
commit 8ee9fba4ea
2 changed files with 4 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

8
examples/petrinet/models/schedule.od
View file

@ -8,13 +8,9 @@ transitions:Match{
d:Data_modify d:Data_modify
{ {
rename = ' modify_dict = '
{ {
"tr": null "tr": "t"
}';
delete = '
{
"tr": null
}'; }';
} }

4
examples/schedule/ScheduledActionGenerator.py
View file

@ -8,17 +8,17 @@ from concrete_syntax.textual_od import parser as parser_od
from concrete_syntax.textual_cd import parser as parser_cd from concrete_syntax.textual_cd import parser as parser_cd
from api.od import ODAPI from api.od import ODAPI
from bootstrap.scd import bootstrap_scd from bootstrap.scd import bootstrap_scd
from examples.petrinet.schedule import Schedule
from examples.schedule.generator import schedule_generator from examples.schedule.generator import schedule_generator
from examples.schedule.schedule_lib import End, NullNode from examples.schedule.schedule_lib import End, NullNode
from framework.conformance import Conformance, render_conformance_check_result from framework.conformance import Conformance, render_conformance_check_result
from state.devstate import DevState from state.devstate import DevState
class ScheduleActionGenerator: class ScheduleActionGenerator:
def __init__(self, rule_executer, schedulefile:str): def __init__(self, rule_executer, schedulefile:str):
self.rule_executer = rule_executer self.rule_executer = rule_executer
self.rule_dict = {} self.rule_dict = {}
self.schedule: Schedule self.schedule: "Schedule"
self.state = DevState() self.state = DevState()