@@ -0,0 +1,6 @@
+PetriNets_RAM initialize_PN {
+ Composite schedule {
+ {Contains} Success success {}
+ }
+ Initial (schedule, success) {}
+}