More examples, better defaults
grammar_separated is grammar but with all functions exposed
This commit is contained in:
elvis
219
testing/medical_no_instructions.system
Normal file
219
testing/medical_no_instructions.system
Normal file
@ -0,0 +1,219 @@
|
||||
Environment: [
|
||||
eafib1 = (?[{},{afib},{}]?.eafib1 + ?[{afib},{},{}]?.ehr),
|
||||
ehr = (?[{},{heart_rate},{}]?.ehr + ?[{heart_rate},{},{}]?.ebb),
|
||||
ebb = ({}.ebb + e_cbb + e_nsbb + e_sbb),
|
||||
e_cbb = (?[{},{verapamil},{get_diltiazem}]?.empty
|
||||
+ ?[{},{diltiazem},{get_verapamil}]?.empty),
|
||||
e_nsbb = (?[{},{carvedilol},{get_propranolol}]?.empty
|
||||
+ ?[{},{propranolol},{get_carvedilol}]?.empty),
|
||||
e_sbb = (?[{},{atenolol},{get_bisoprolol}]?.empty
|
||||
+ ?[{},{bisoprolol},{get_atenolol}]?.empty),
|
||||
eafib2 = (?[{},{afib},{}]?.eafib2 + ?[{afib},{},{}]?.ehf),
|
||||
ehf = (?[{},{has_fib},{}]?.ehf + ?[{has_fib},{},{}]?.eflec),
|
||||
eflec = ({}.eflec + e_flec),
|
||||
e_flec = {get_flecainide}.empty,
|
||||
eafib3 = (?[{},{afib},{}]?.eafib3 + ?[{afib},{},{}]?.econs),
|
||||
econs = (?[{},{heart_rate,has_fib},{}]?.econs
|
||||
+ ?[{},{consensus_acei},{}]?.econs
|
||||
+ ?[{consensus_acei,heart_rate},{},{}]?.estroke
|
||||
+ ?[{consensus_acei,has_fib},{},{}]?.estroke),
|
||||
estroke = (?[{},{diseases,over75},{}]?.ewarf
|
||||
+ ?[{over75},{doac_fail,doac_int},{}]?.edoac
|
||||
+ ?[{diseases},{doac_fail,doac_int},{}]?.edoac
|
||||
+ ?[{over75,doac_fail},{},{}]?.evkant
|
||||
+ ?[{over75,doac_int},{},{}]?.evkant
|
||||
+ ?[{diseases,doac_fail},{},{}]?.evkant
|
||||
+ ?[{diseases,doac_int},{},{}]?.evkant),
|
||||
ewarf = ({}.ewarf + e_warf),
|
||||
e_warf = {get_warfarin}.empty,
|
||||
edoac = ({}.edoac + e_doac),
|
||||
e_doac = (?[{},{dabigatran},{get_apixaban}]?.e_doacfail
|
||||
+ ?[{},{apixaban},{get_dabigatran}]?.e_doacfail),
|
||||
e_doacfail = (?[{doac_fail},{},{stop_doac}]?.evkant
|
||||
+ ?[{},{doac_fail},{}]?.e_doacfail),
|
||||
evkant = ({}.evkant + e_vkant),
|
||||
e_vkant = {get_vkant}.empty,
|
||||
ghyper = (?[{},{hyper},{}]?.ghyper + ?[{hyper},{},{}]?.g1),
|
||||
g1 = (?[{diabete},{},{}]?.g2
|
||||
+ ?[{below55},{diabete,origin},{}]?.g2
|
||||
+ ?[{},{below55,diabete},{}]?.g3
|
||||
+ ?[{origin},{diabete},{}]?.g3),
|
||||
g2 = ({}.g2 + <1,e_acei>.g4 + <1,e_arb>.g5),
|
||||
g3 = ({}.g3 + <1,e_cbb>.g6),
|
||||
g4 = ({}.g4 + <1,e_cbb>.g7 + <1,e_td>.g8),
|
||||
g5 = ({}.g5 + <1,e_cbb>.g9 + <1,e_td>.g10),
|
||||
g6 = ({}.g6 + <1,e_acei>.g7 + <1,e_arb>.g9 + <1,e_td>.g11),
|
||||
g7 = ({}.g7 + <1,e_arb>.etd + <1,e_td>.earb),
|
||||
g8 = ({}.g8 + <1,e_arb>.ecbb + <1,e_cbb>.earb),
|
||||
g9 = ({}.g9 + <1,e_acei>.etd + <1,e_td>.eacei),
|
||||
g10 = ({}.g10 + <1,e_acei>.ecbb + <1,e_cbb>.eacei),
|
||||
g11 = ({}.g11 + <1,e_acei>.earb + <1,e_arb>.eacei),
|
||||
ecbb = ({}.ecbb + e_cbb),
|
||||
eacei = ({}.eacei + e_acei),
|
||||
e_acei = (?[{},{captopril},{get_benazepril}]?.empty
|
||||
+ ?[{},{benazepril},{get_captopril}]?.empty),
|
||||
earb = ({}.earb + e_arb),
|
||||
e_arb = (?[{},{irbesartan},{get_olmesortan}]?.empty
|
||||
+ ?[{},{olmesortan},{get_irbesartan}]?.empty),
|
||||
etd = ({}.etd + e_td),
|
||||
e_td = (?[{},{chlorothiazide},{get_indapamide}]?.empty
|
||||
+ ?[{},{indapamide},{get_chlorothiazide}]?.empty),
|
||||
k_doac = (?[{doac_test},{},{doac_ok}]?.empty
|
||||
+ ?[{doac_test},{},{doac_fail}]?.empty
|
||||
+ ?[{},{doac_test},{}]?.k_doac),
|
||||
empty = {}.empty,
|
||||
kafib = {afib}.empty,
|
||||
khf = {has_fib}.empty,
|
||||
khr = {heart_rate}.empty,
|
||||
kcons = {consensus_acei}.empty,
|
||||
kageA = {over75}.empty,
|
||||
kageB = {below55}.empty,
|
||||
kdiabete = {diabete}.empty,
|
||||
kdoacint = {doac_int}.empty,
|
||||
khyper = {hyper}.empty,
|
||||
korigin = {origin}.empty
|
||||
]
|
||||
Initial Entities: {}
|
||||
Context: [
|
||||
eafib1,
|
||||
eafib2,
|
||||
eafib3,
|
||||
ghyper,
|
||||
kafib,
|
||||
khf,
|
||||
empty,
|
||||
empty,
|
||||
empty,
|
||||
empty,
|
||||
empty,
|
||||
empty,
|
||||
khyper,
|
||||
empty,
|
||||
k_doac
|
||||
]
|
||||
Reactions: (
|
||||
[{hyper}, {}, {hyper}];
|
||||
[{afib}, {}, {afib}];
|
||||
[{has_fib}, {}, {has_fib}];
|
||||
[{heart_rate}, {}, {heart_rate}];
|
||||
[{consensus_acei}, {}, {consensus_acei}];
|
||||
[{over75}, {}, {over75}];
|
||||
[{below55}, {}, {below55}];
|
||||
[{diabete}, {}, {diabete}];
|
||||
[{origin}, {}, {origin}];
|
||||
[{doac_int}, {}, {doac_int}];
|
||||
[{doac}, {doac_ok,doac_fail}, {doac_test}];
|
||||
[{doac_ok}, {doac_fail}, {doac_ok}];
|
||||
[{doac_fail}, {doac_ok}, {doac_fail}];
|
||||
[{hyper}, {}, {diseases}];
|
||||
[{diabete}, {}, {diseases}];
|
||||
[{get_diltiazem}, {stop_cbb}, {diltiazem,cbb}];
|
||||
[{diltiazem}, {stop_cbb}, {diltiazem,cbb}];
|
||||
[{get_verapamil}, {stop_cbb}, {verapamil,cbb}];
|
||||
[{verapamil}, {stop_cbb}, {verapamil,cbb}];
|
||||
[{diltiazem,verapamil}, {stop_cbb}, {alert_dup}];
|
||||
[{get_propranolol}, {stop_nsbb}, {propranolol,nsbb}];
|
||||
[{propranolol}, {stop_nsbb}, {propranolol,nsbb}];
|
||||
[{get_carvedilol}, {stop_nsbb}, {carvedilol,nsbb}];
|
||||
[{carvedilol}, {stop_nsbb}, {carvedilol,nsbb}];
|
||||
[{propranolol,carvedilol}, {stop_nsbb}, {alert_dup}];
|
||||
[{get_bisoprolol}, {stop_sbb}, {bisoprolol,sbb}];
|
||||
[{bisoprolol}, {stop_sbb}, {bisoprolol,sbb}];
|
||||
[{get_atenolol}, {stop_sbb}, {atenolol,sbb}];
|
||||
[{atenolol}, {stop_sbb}, {atenolol,sbb}];
|
||||
[{bisoprolol,atenolol}, {stop_sbb}, {alert_dup}];
|
||||
[{get_flecainide}, {stop_flec}, {flecainide}];
|
||||
[{flecainide}, {stop_flec}, {flecainide}];
|
||||
[{get_warfarin}, {stop_warf}, {warfarin}];
|
||||
[{warfarin}, {stop_warf}, {warfarin}];
|
||||
[{get_apixaban}, {stop_doac}, {apixaban,doac}];
|
||||
[{apixaban}, {stop_doac}, {apixaban,doac}];
|
||||
[{get_dabigatran}, {stop_doac}, {dabigatran,doac}];
|
||||
[{dabigatran}, {stop_doac}, {dabigatran,doac}];
|
||||
[{apixaban,dabigatran}, {stop_doac}, {alert_dup}];
|
||||
[{get_vkant}, {stop_vkant}, {vkant}];
|
||||
[{vkant}, {stop_vkant}, {vkant}];
|
||||
[{get_benazepril}, {stop_acei}, {benazepril,acei}];
|
||||
[{benazepril}, {stop_acei}, {benazepril,acei}];
|
||||
[{get_captopril}, {stop_acei}, {captopril,acei}];
|
||||
[{captopril}, {stop_acei}, {captopril,acei}];
|
||||
[{benazepril,captopril}, {stop_acei}, {alert_dup}];
|
||||
[{get_olmesortan}, {stop_arb}, {olmesortan,arb}];
|
||||
[{olmesortan}, {stop_arb}, {olmesortan,arb}];
|
||||
[{get_irbesartan}, {stop_arb}, {irbesartan,arb}];
|
||||
[{irbesartan}, {stop_arb}, {irbesartan,arb}];
|
||||
[{olmesortan,irbesartan}, {stop_arb}, {alert_dup}];
|
||||
[{get_indapamide}, {stop_td}, {indapamide,td}];
|
||||
[{indapamide}, {stop_td}, {indapamide,td}];
|
||||
[{get_chlorothiazide}, {stop_td}, {chlorothiazide,td}];
|
||||
[{chlorothiazide}, {stop_td}, {chlorothiazide,td}];
|
||||
[{indapamide,chlorothiazide}, {stop_td}, {alert_dup}];
|
||||
[{doac,doac_fail}, {stop_doac}, {doac_danger}];
|
||||
[{doac,doac_danger}, {stop_doac}, {danger}];
|
||||
[{get_apixaban,get_diltiazem}, {}, {moderate}];
|
||||
[{get_apixaban,diltiazem}, {}, {moderate}];
|
||||
[{apixaban,get_diltiazem}, {}, {moderate}];
|
||||
[{apixaban,diltiazem}, {}, {moderate}];
|
||||
[{get_apixaban,get_verapamil}, {}, {moderate}];
|
||||
[{get_apixaban,verapamil}, {}, {moderate}];
|
||||
[{apixaban,get_verapamil}, {}, {moderate}];
|
||||
[{apixaban,verapamil}, {}, {moderate}];
|
||||
[{get_dabigatran,get_diltiazem}, {}, {moderate}];
|
||||
[{get_dabigatran,diltiazem}, {}, {moderate}];
|
||||
[{dabigatran,get_diltiazem}, {}, {moderate}];
|
||||
[{dabigatran,diltiazem}, {}, {moderate}];
|
||||
[{get_dabigatran,get_verapamil}, {}, {major}];
|
||||
[{get_dabigatran,verapamil}, {}, {major}];
|
||||
[{dabigatran,get_verapamil}, {}, {major}];
|
||||
[{dabigatran,verapamil}, {}, {major}];
|
||||
[{get_dabigatran,get_carvedilol}, {}, {moderate}];
|
||||
[{get_dabigatran,carvedilol}, {}, {moderate}];
|
||||
[{dabigatran,get_carvedilol}, {}, {moderate}];
|
||||
[{dabigatran,carvedilol}, {}, {moderate}];
|
||||
[{get_warfarin,get_benazepril}, {}, {minor}];
|
||||
[{get_warfarin,benazepril}, {}, {minor}];
|
||||
[{warfarin,get_benazepril}, {}, {minor}];
|
||||
[{warfarin,benazepril}, {}, {minor}];
|
||||
[{get_warfarin,get_indapamide}, {}, {minor}];
|
||||
[{get_warfarin,indapamide}, {}, {minor}];
|
||||
[{warfarin,get_indapamide}, {}, {minor}];
|
||||
[{warfarin,indapamide}, {}, {minor}];
|
||||
[{get_warfarin,get_chlorothiazide}, {}, {minor}];
|
||||
[{get_warfarin,chlorothiazide}, {}, {minor}];
|
||||
[{warfarin,get_chlorothiazide}, {}, {minor}];
|
||||
[{warfarin,chlorothiazide}, {}, {minor}];
|
||||
[{get_warfarin,get_propranolol}, {}, {minor}];
|
||||
[{get_warfarin,propranolol}, {}, {minor}];
|
||||
[{warfarin,get_propranolol}, {}, {minor}];
|
||||
[{warfarin,propranolol}, {}, {minor}];
|
||||
[{get_flecainide,get_diltiazem}, {}, {major}];
|
||||
[{get_flecainide,diltiazem}, {}, {major}];
|
||||
[{flecainide,get_diltiazem}, {}, {major}];
|
||||
[{flecainide,diltiazem}, {}, {major}];
|
||||
[{get_flecainide,get_verapamil}, {}, {major}];
|
||||
[{get_flecainide,verapamil}, {}, {major}];
|
||||
[{flecainide,get_verapamil}, {}, {major}];
|
||||
[{flecainide,verapamil}, {}, {major}];
|
||||
[{get_flecainide,get_bisoprolol}, {}, {moderate}];
|
||||
[{get_flecainide,bisoprolol}, {}, {moderate}];
|
||||
[{flecainide,get_bisoprolol}, {}, {moderate}];
|
||||
[{flecainide,bisoprolol}, {}, {moderate}];
|
||||
[{get_flecainide,get_atenolol}, {}, {moderate}];
|
||||
[{get_flecainide,atenolol}, {}, {moderate}];
|
||||
[{flecainide,get_atenolol}, {}, {moderate}];
|
||||
[{flecainide,atenolol}, {}, {moderate}];
|
||||
[{get_flecainide,get_propranolol}, {}, {moderate}];
|
||||
[{get_flecainide,propranolol}, {}, {moderate}];
|
||||
[{flecainide,get_propranolol}, {}, {moderate}];
|
||||
[{flecainide,propranolol}, {}, {moderate}];
|
||||
[{get_flecainide,get_carvedilol}, {}, {moderate}];
|
||||
[{get_flecainide,carvedilol}, {}, {moderate}];
|
||||
[{flecainide,get_carvedilol}, {}, {moderate}];
|
||||
[{flecainide,carvedilol}, {}, {moderate}];
|
||||
[{major}, {}, {major}];
|
||||
[{moderate}, {}, {moderate}];
|
||||
[{minor}, {}, {minor}];
|
||||
[{alert_dup}, {}, {alert_dup}];
|
||||
[{danger},{},{danger}]
|
||||
)
|
||||
|
||||
39
testing/mex/convert.plx
Normal file
39
testing/mex/convert.plx
Normal file
@ -0,0 +1,39 @@
|
||||
#!/usr/bin/perl
|
||||
use warnings;
|
||||
use strict;
|
||||
|
||||
my %structure = (
|
||||
Environment => (),
|
||||
InitialEntities => (),
|
||||
Context => (),
|
||||
Reactions => (),
|
||||
);
|
||||
|
||||
open FILE, $ARGV[0] or die $!;
|
||||
my @data = <FILE>;
|
||||
my $data = "@data";
|
||||
|
||||
$data =~ /myentities\(\[([^\]]*)\]\)/s;
|
||||
$structure{InitialEntities} = $1;
|
||||
|
||||
$data =~ /myenvironment\(\"\[([^\]]*)\]\"\)/s;
|
||||
$structure{Environment} = $1;
|
||||
|
||||
$data =~ /mycontext\(\"\[([^\]]*)\]\"\)/s;
|
||||
$structure{Context} = $1;
|
||||
|
||||
my $line;
|
||||
for $line (@data) {
|
||||
$_ = $line;
|
||||
if (/react.*\]\),?$/) {
|
||||
s/react\(\[(.*?)\],\[(.*?)\],\[(.*?)\]\),?/[{$1}, {$2}, {$3}]/;
|
||||
chomp $_;
|
||||
$structure{Reactions} .= "$_;\n";
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
print ("Environment: [", $structure{Environment}, "]\n");
|
||||
print ("Initial Entities: {", $structure{InitialEntities} ,"}\n");
|
||||
print ("Context: [", $structure{Context}, "]\n");
|
||||
print ("Reactions: (\n", $structure{Reactions}, ")\n");
|
||||
169
testing/mex/mex10.system
Normal file
169
testing/mex/mex10.system
Normal file
@ -0,0 +1,169 @@
|
||||
Environment: [
|
||||
k = ({act_1}.k + {act_2}.k + {act_3}.k + {act_4}.k + {act_5}.k + {act_6}.k +
|
||||
{act_7}.k + {act_8}.k + {act_9}.k + {act_10}.k)
|
||||
]
|
||||
Initial Entities: {out_1,out_2,out_3,out_4,out_5,out_6,out_7,out_8,out_9,out_10}
|
||||
Context: [k, k]
|
||||
Reactions: (
|
||||
[{out_1}, {act_1}, {out_1}];
|
||||
[{out_1,act_1}, {}, {req_1}];
|
||||
[{req_1}, {act_1}, {req_1}];
|
||||
[{req_1,lock}, {}, {req_1}];
|
||||
[{in_1}, {act_1}, {in_1}];
|
||||
[{in_1,act_1}, {}, {out_1,done}];
|
||||
[{req_1,act_2}, {}, {req_1}];
|
||||
[{req_1,act_3}, {}, {req_1}];
|
||||
[{req_1,act_4}, {}, {req_1}];
|
||||
[{req_1,act_5}, {}, {req_1}];
|
||||
[{req_1,act_6}, {}, {req_1}];
|
||||
[{req_1,act_7}, {}, {req_1}];
|
||||
[{req_1,act_8}, {}, {req_1}];
|
||||
[{req_1,act_9}, {}, {req_1}];
|
||||
[{req_1,act_10}, {}, {req_1}];
|
||||
[{req_1,act_1}, {lock,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10}, {in_1,lock}];
|
||||
[{out_2}, {act_2}, {out_2}];
|
||||
[{out_2,act_2}, {}, {req_2}];
|
||||
[{req_2}, {act_2}, {req_2}];
|
||||
[{req_2,lock}, {}, {req_2}];
|
||||
[{in_2}, {act_2}, {in_2}];
|
||||
[{in_2,act_2}, {}, {out_2,done}];
|
||||
[{req_2,act_1}, {}, {req_2}];
|
||||
[{req_2,act_3}, {}, {req_2}];
|
||||
[{req_2,act_4}, {}, {req_2}];
|
||||
[{req_2,act_5}, {}, {req_2}];
|
||||
[{req_2,act_6}, {}, {req_2}];
|
||||
[{req_2,act_7}, {}, {req_2}];
|
||||
[{req_2,act_8}, {}, {req_2}];
|
||||
[{req_2,act_9}, {}, {req_2}];
|
||||
[{req_2,act_10}, {}, {req_2}];
|
||||
[{req_2,act_2}, {lock,act_1,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10}, {in_2,lock}];
|
||||
[{out_3}, {act_3}, {out_3}];
|
||||
[{out_3,act_3}, {}, {req_3}];
|
||||
[{req_3}, {act_3}, {req_3}];
|
||||
[{req_3,lock}, {}, {req_3}];
|
||||
[{in_3}, {act_3}, {in_3}];
|
||||
[{in_3,act_3}, {}, {out_3,done}];
|
||||
[{req_3,act_1}, {}, {req_3}];
|
||||
[{req_3,act_2}, {}, {req_3}];
|
||||
[{req_3,act_4}, {}, {req_3}];
|
||||
[{req_3,act_5}, {}, {req_3}];
|
||||
[{req_3,act_6}, {}, {req_3}];
|
||||
[{req_3,act_7}, {}, {req_3}];
|
||||
[{req_3,act_8}, {}, {req_3}];
|
||||
[{req_3,act_9}, {}, {req_3}];
|
||||
[{req_3,act_10}, {}, {req_3}];
|
||||
[{req_3,act_3}, {lock,act_1,act_2,act_4,act_5,act_6,act_7,act_8,act_9,act_10}, {in_3,lock}];
|
||||
[{out_4}, {act_4}, {out_4}];
|
||||
[{out_4,act_4}, {}, {req_4}];
|
||||
[{req_4}, {act_4}, {req_4}];
|
||||
[{req_4,lock}, {}, {req_4}];
|
||||
[{in_4}, {act_4}, {in_4}];
|
||||
[{in_4,act_4}, {}, {out_4,done}];
|
||||
[{req_4,act_1}, {}, {req_4}];
|
||||
[{req_4,act_2}, {}, {req_4}];
|
||||
[{req_4,act_3}, {}, {req_4}];
|
||||
[{req_4,act_5}, {}, {req_4}];
|
||||
[{req_4,act_6}, {}, {req_4}];
|
||||
[{req_4,act_7}, {}, {req_4}];
|
||||
[{req_4,act_8}, {}, {req_4}];
|
||||
[{req_4,act_9}, {}, {req_4}];
|
||||
[{req_4,act_10}, {}, {req_4}];
|
||||
[{req_4,act_4}, {lock,act_1,act_2,act_3,act_5,act_6,act_7,act_8,act_9,act_10}, {in_4,lock}];
|
||||
[{out_5}, {act_5}, {out_5}];
|
||||
[{out_5,act_5}, {}, {req_5}];
|
||||
[{req_5}, {act_5}, {req_5}];
|
||||
[{req_5,lock}, {}, {req_5}];
|
||||
[{in_5}, {act_5}, {in_5}];
|
||||
[{in_5,act_5}, {}, {out_5,done}];
|
||||
[{req_5,act_1}, {}, {req_5}];
|
||||
[{req_5,act_2}, {}, {req_5}];
|
||||
[{req_5,act_3}, {}, {req_5}];
|
||||
[{req_5,act_4}, {}, {req_5}];
|
||||
[{req_5,act_6}, {}, {req_5}];
|
||||
[{req_5,act_7}, {}, {req_5}];
|
||||
[{req_5,act_8}, {}, {req_5}];
|
||||
[{req_5,act_9}, {}, {req_5}];
|
||||
[{req_5,act_10}, {}, {req_5}];
|
||||
[{req_5,act_5}, {lock,act_1,act_2,act_3,act_4,act_6,act_7,act_8,act_9,act_10}, {in_5,lock}];
|
||||
[{out_6}, {act_6}, {out_6}];
|
||||
[{out_6,act_6}, {}, {req_6}];
|
||||
[{req_6}, {act_6}, {req_6}];
|
||||
[{req_6,lock}, {}, {req_6}];
|
||||
[{in_6}, {act_6}, {in_6}];
|
||||
[{in_6,act_6}, {}, {out_6,done}];
|
||||
[{req_6,act_1}, {}, {req_6}];
|
||||
[{req_6,act_2}, {}, {req_6}];
|
||||
[{req_6,act_3}, {}, {req_6}];
|
||||
[{req_6,act_4}, {}, {req_6}];
|
||||
[{req_6,act_5}, {}, {req_6}];
|
||||
[{req_6,act_7}, {}, {req_6}];
|
||||
[{req_6,act_8}, {}, {req_6}];
|
||||
[{req_6,act_9}, {}, {req_6}];
|
||||
[{req_6,act_10}, {}, {req_6}];
|
||||
[{req_6,act_6}, {lock,act_1,act_2,act_3,act_4,act_5,act_7,act_8,act_9,act_10}, {in_6,lock}];
|
||||
[{out_7}, {act_7}, {out_7}];
|
||||
[{out_7,act_7}, {}, {req_7}];
|
||||
[{req_7}, {act_7}, {req_7}];
|
||||
[{req_7,lock}, {}, {req_7}];
|
||||
[{in_7}, {act_7}, {in_7}];
|
||||
[{in_7,act_7}, {}, {out_7,done}];
|
||||
[{req_7,act_1}, {}, {req_7}];
|
||||
[{req_7,act_2}, {}, {req_7}];
|
||||
[{req_7,act_3}, {}, {req_7}];
|
||||
[{req_7,act_4}, {}, {req_7}];
|
||||
[{req_7,act_5}, {}, {req_7}];
|
||||
[{req_7,act_6}, {}, {req_7}];
|
||||
[{req_7,act_8}, {}, {req_7}];
|
||||
[{req_7,act_9}, {}, {req_7}];
|
||||
[{req_7,act_10}, {}, {req_7}];
|
||||
[{req_7,act_7}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_8,act_9,act_10}, {in_7,lock}];
|
||||
[{out_8}, {act_8}, {out_8}];
|
||||
[{out_8,act_8}, {}, {req_8}];
|
||||
[{req_8}, {act_8}, {req_8}];
|
||||
[{req_8,lock}, {}, {req_8}];
|
||||
[{in_8}, {act_8}, {in_8}];
|
||||
[{in_8,act_8}, {}, {out_8,done}];
|
||||
[{req_8,act_1}, {}, {req_8}];
|
||||
[{req_8,act_2}, {}, {req_8}];
|
||||
[{req_8,act_3}, {}, {req_8}];
|
||||
[{req_8,act_4}, {}, {req_8}];
|
||||
[{req_8,act_5}, {}, {req_8}];
|
||||
[{req_8,act_6}, {}, {req_8}];
|
||||
[{req_8,act_7}, {}, {req_8}];
|
||||
[{req_8,act_9}, {}, {req_8}];
|
||||
[{req_8,act_10}, {}, {req_8}];
|
||||
[{req_8,act_8}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_9,act_10}, {in_8,lock}];
|
||||
[{out_9}, {act_9}, {out_9}];
|
||||
[{out_9,act_9}, {}, {req_9}];
|
||||
[{req_9}, {act_9}, {req_9}];
|
||||
[{req_9,lock}, {}, {req_9}];
|
||||
[{in_9}, {act_9}, {in_9}];
|
||||
[{in_9,act_9}, {}, {out_9,done}];
|
||||
[{req_9,act_1}, {}, {req_9}];
|
||||
[{req_9,act_2}, {}, {req_9}];
|
||||
[{req_9,act_3}, {}, {req_9}];
|
||||
[{req_9,act_4}, {}, {req_9}];
|
||||
[{req_9,act_5}, {}, {req_9}];
|
||||
[{req_9,act_6}, {}, {req_9}];
|
||||
[{req_9,act_7}, {}, {req_9}];
|
||||
[{req_9,act_8}, {}, {req_9}];
|
||||
[{req_9,act_10}, {}, {req_9}];
|
||||
[{req_9,act_9}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_10}, {in_9,lock}];
|
||||
[{out_10}, {act_10}, {out_10}];
|
||||
[{out_10,act_10}, {}, {req_10}];
|
||||
[{req_10}, {act_10}, {req_10}];
|
||||
[{req_10,lock}, {}, {req_10}];
|
||||
[{in_10}, {act_10}, {in_10}];
|
||||
[{in_10,act_10}, {}, {out_10,done}];
|
||||
[{req_10,act_1}, {}, {req_10}];
|
||||
[{req_10,act_2}, {}, {req_10}];
|
||||
[{req_10,act_3}, {}, {req_10}];
|
||||
[{req_10,act_4}, {}, {req_10}];
|
||||
[{req_10,act_5}, {}, {req_10}];
|
||||
[{req_10,act_6}, {}, {req_10}];
|
||||
[{req_10,act_7}, {}, {req_10}];
|
||||
[{req_10,act_8}, {}, {req_10}];
|
||||
[{req_10,act_9}, {}, {req_10}];
|
||||
[{req_10,act_10}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9}, {in_10,lock}];
|
||||
[{lock}, {done}, {lock}];
|
||||
)
|
||||
325
testing/mex/mex15.system
Normal file
325
testing/mex/mex15.system
Normal file
@ -0,0 +1,325 @@
|
||||
Environment: [
|
||||
k = ({act_1}.k + {act_2}.k + {act_3}.k + {act_4}.k + {act_5}.k + {act_6}.k +
|
||||
{act_7}.k + {act_8}.k + {act_9}.k + {act_10}.k + {act_11}.k +
|
||||
{act_12}.k + {act_13}.k + {act_14}.k + {act_15}.k)
|
||||
]
|
||||
Initial Entities: {out_1,out_2,out_3,out_4,out_5,out_6,out_7,out_8,out_9,out_10,out_11,out_12,out_13,out_14,out_15}
|
||||
Context: [k, k]
|
||||
Reactions: (
|
||||
[{out_1}, {act_1}, {out_1}];
|
||||
[{out_1,act_1}, {}, {req_1}];
|
||||
[{req_1}, {act_1}, {req_1}];
|
||||
[{req_1,lock}, {}, {req_1}];
|
||||
[{in_1}, {act_1}, {in_1}];
|
||||
[{in_1,act_1}, {}, {out_1,done}];
|
||||
[{req_1,act_2}, {}, {req_1}];
|
||||
[{req_1,act_3}, {}, {req_1}];
|
||||
[{req_1,act_4}, {}, {req_1}];
|
||||
[{req_1,act_5}, {}, {req_1}];
|
||||
[{req_1,act_6}, {}, {req_1}];
|
||||
[{req_1,act_7}, {}, {req_1}];
|
||||
[{req_1,act_8}, {}, {req_1}];
|
||||
[{req_1,act_9}, {}, {req_1}];
|
||||
[{req_1,act_10}, {}, {req_1}];
|
||||
[{req_1,act_11}, {}, {req_1}];
|
||||
[{req_1,act_12}, {}, {req_1}];
|
||||
[{req_1,act_13}, {}, {req_1}];
|
||||
[{req_1,act_14}, {}, {req_1}];
|
||||
[{req_1,act_15}, {}, {req_1}];
|
||||
[{req_1,act_1}, {lock,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15}, {in_1,lock}];
|
||||
[{out_2}, {act_2}, {out_2}];
|
||||
[{out_2,act_2}, {}, {req_2}];
|
||||
[{req_2}, {act_2}, {req_2}];
|
||||
[{req_2,lock}, {}, {req_2}];
|
||||
[{in_2}, {act_2}, {in_2}];
|
||||
[{in_2,act_2}, {}, {out_2,done}];
|
||||
[{req_2,act_1}, {}, {req_2}];
|
||||
[{req_2,act_3}, {}, {req_2}];
|
||||
[{req_2,act_4}, {}, {req_2}];
|
||||
[{req_2,act_5}, {}, {req_2}];
|
||||
[{req_2,act_6}, {}, {req_2}];
|
||||
[{req_2,act_7}, {}, {req_2}];
|
||||
[{req_2,act_8}, {}, {req_2}];
|
||||
[{req_2,act_9}, {}, {req_2}];
|
||||
[{req_2,act_10}, {}, {req_2}];
|
||||
[{req_2,act_11}, {}, {req_2}];
|
||||
[{req_2,act_12}, {}, {req_2}];
|
||||
[{req_2,act_13}, {}, {req_2}];
|
||||
[{req_2,act_14}, {}, {req_2}];
|
||||
[{req_2,act_15}, {}, {req_2}];
|
||||
[{req_2,act_2}, {lock,act_1,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15}, {in_2,lock}];
|
||||
[{out_3}, {act_3}, {out_3}];
|
||||
[{out_3,act_3}, {}, {req_3}];
|
||||
[{req_3}, {act_3}, {req_3}];
|
||||
[{req_3,lock}, {}, {req_3}];
|
||||
[{in_3}, {act_3}, {in_3}];
|
||||
[{in_3,act_3}, {}, {out_3,done}];
|
||||
[{req_3,act_1}, {}, {req_3}];
|
||||
[{req_3,act_2}, {}, {req_3}];
|
||||
[{req_3,act_4}, {}, {req_3}];
|
||||
[{req_3,act_5}, {}, {req_3}];
|
||||
[{req_3,act_6}, {}, {req_3}];
|
||||
[{req_3,act_7}, {}, {req_3}];
|
||||
[{req_3,act_8}, {}, {req_3}];
|
||||
[{req_3,act_9}, {}, {req_3}];
|
||||
[{req_3,act_10}, {}, {req_3}];
|
||||
[{req_3,act_11}, {}, {req_3}];
|
||||
[{req_3,act_12}, {}, {req_3}];
|
||||
[{req_3,act_13}, {}, {req_3}];
|
||||
[{req_3,act_14}, {}, {req_3}];
|
||||
[{req_3,act_15}, {}, {req_3}];
|
||||
[{req_3,act_3}, {lock,act_1,act_2,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15}, {in_3,lock}];
|
||||
[{out_4}, {act_4}, {out_4}];
|
||||
[{out_4,act_4}, {}, {req_4}];
|
||||
[{req_4}, {act_4}, {req_4}];
|
||||
[{req_4,lock}, {}, {req_4}];
|
||||
[{in_4}, {act_4}, {in_4}];
|
||||
[{in_4,act_4}, {}, {out_4,done}];
|
||||
[{req_4,act_1}, {}, {req_4}];
|
||||
[{req_4,act_2}, {}, {req_4}];
|
||||
[{req_4,act_3}, {}, {req_4}];
|
||||
[{req_4,act_5}, {}, {req_4}];
|
||||
[{req_4,act_6}, {}, {req_4}];
|
||||
[{req_4,act_7}, {}, {req_4}];
|
||||
[{req_4,act_8}, {}, {req_4}];
|
||||
[{req_4,act_9}, {}, {req_4}];
|
||||
[{req_4,act_10}, {}, {req_4}];
|
||||
[{req_4,act_11}, {}, {req_4}];
|
||||
[{req_4,act_12}, {}, {req_4}];
|
||||
[{req_4,act_13}, {}, {req_4}];
|
||||
[{req_4,act_14}, {}, {req_4}];
|
||||
[{req_4,act_15}, {}, {req_4}];
|
||||
[{req_4,act_4}, {lock,act_1,act_2,act_3,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15}, {in_4,lock}];
|
||||
[{out_5}, {act_5}, {out_5}];
|
||||
[{out_5,act_5}, {}, {req_5}];
|
||||
[{req_5}, {act_5}, {req_5}];
|
||||
[{req_5,lock}, {}, {req_5}];
|
||||
[{in_5}, {act_5}, {in_5}];
|
||||
[{in_5,act_5}, {}, {out_5,done}];
|
||||
[{req_5,act_1}, {}, {req_5}];
|
||||
[{req_5,act_2}, {}, {req_5}];
|
||||
[{req_5,act_3}, {}, {req_5}];
|
||||
[{req_5,act_4}, {}, {req_5}];
|
||||
[{req_5,act_6}, {}, {req_5}];
|
||||
[{req_5,act_7}, {}, {req_5}];
|
||||
[{req_5,act_8}, {}, {req_5}];
|
||||
[{req_5,act_9}, {}, {req_5}];
|
||||
[{req_5,act_10}, {}, {req_5}];
|
||||
[{req_5,act_11}, {}, {req_5}];
|
||||
[{req_5,act_12}, {}, {req_5}];
|
||||
[{req_5,act_13}, {}, {req_5}];
|
||||
[{req_5,act_14}, {}, {req_5}];
|
||||
[{req_5,act_15}, {}, {req_5}];
|
||||
[{req_5,act_5}, {lock,act_1,act_2,act_3,act_4,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15}, {in_5,lock}];
|
||||
[{out_6}, {act_6}, {out_6}];
|
||||
[{out_6,act_6}, {}, {req_6}];
|
||||
[{req_6}, {act_6}, {req_6}];
|
||||
[{req_6,lock}, {}, {req_6}];
|
||||
[{in_6}, {act_6}, {in_6}];
|
||||
[{in_6,act_6}, {}, {out_6,done}];
|
||||
[{req_6,act_1}, {}, {req_6}];
|
||||
[{req_6,act_2}, {}, {req_6}];
|
||||
[{req_6,act_3}, {}, {req_6}];
|
||||
[{req_6,act_4}, {}, {req_6}];
|
||||
[{req_6,act_5}, {}, {req_6}];
|
||||
[{req_6,act_7}, {}, {req_6}];
|
||||
[{req_6,act_8}, {}, {req_6}];
|
||||
[{req_6,act_9}, {}, {req_6}];
|
||||
[{req_6,act_10}, {}, {req_6}];
|
||||
[{req_6,act_11}, {}, {req_6}];
|
||||
[{req_6,act_12}, {}, {req_6}];
|
||||
[{req_6,act_13}, {}, {req_6}];
|
||||
[{req_6,act_14}, {}, {req_6}];
|
||||
[{req_6,act_15}, {}, {req_6}];
|
||||
[{req_6,act_6}, {lock,act_1,act_2,act_3,act_4,act_5,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15}, {in_6,lock}];
|
||||
[{out_7}, {act_7}, {out_7}];
|
||||
[{out_7,act_7}, {}, {req_7}];
|
||||
[{req_7}, {act_7}, {req_7}];
|
||||
[{req_7,lock}, {}, {req_7}];
|
||||
[{in_7}, {act_7}, {in_7}];
|
||||
[{in_7,act_7}, {}, {out_7,done}];
|
||||
[{req_7,act_1}, {}, {req_7}];
|
||||
[{req_7,act_2}, {}, {req_7}];
|
||||
[{req_7,act_3}, {}, {req_7}];
|
||||
[{req_7,act_4}, {}, {req_7}];
|
||||
[{req_7,act_5}, {}, {req_7}];
|
||||
[{req_7,act_6}, {}, {req_7}];
|
||||
[{req_7,act_8}, {}, {req_7}];
|
||||
[{req_7,act_9}, {}, {req_7}];
|
||||
[{req_7,act_10}, {}, {req_7}];
|
||||
[{req_7,act_11}, {}, {req_7}];
|
||||
[{req_7,act_12}, {}, {req_7}];
|
||||
[{req_7,act_13}, {}, {req_7}];
|
||||
[{req_7,act_14}, {}, {req_7}];
|
||||
[{req_7,act_15}, {}, {req_7}];
|
||||
[{req_7,act_7}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15}, {in_7,lock}];
|
||||
[{out_8}, {act_8}, {out_8}];
|
||||
[{out_8,act_8}, {}, {req_8}];
|
||||
[{req_8}, {act_8}, {req_8}];
|
||||
[{req_8,lock}, {}, {req_8}];
|
||||
[{in_8}, {act_8}, {in_8}];
|
||||
[{in_8,act_8}, {}, {out_8,done}];
|
||||
[{req_8,act_1}, {}, {req_8}];
|
||||
[{req_8,act_2}, {}, {req_8}];
|
||||
[{req_8,act_3}, {}, {req_8}];
|
||||
[{req_8,act_4}, {}, {req_8}];
|
||||
[{req_8,act_5}, {}, {req_8}];
|
||||
[{req_8,act_6}, {}, {req_8}];
|
||||
[{req_8,act_7}, {}, {req_8}];
|
||||
[{req_8,act_9}, {}, {req_8}];
|
||||
[{req_8,act_10}, {}, {req_8}];
|
||||
[{req_8,act_11}, {}, {req_8}];
|
||||
[{req_8,act_12}, {}, {req_8}];
|
||||
[{req_8,act_13}, {}, {req_8}];
|
||||
[{req_8,act_14}, {}, {req_8}];
|
||||
[{req_8,act_15}, {}, {req_8}];
|
||||
[{req_8,act_8}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_9,act_10,act_11,act_12,act_13,act_14,act_15}, {in_8,lock}];
|
||||
[{out_9}, {act_9}, {out_9}];
|
||||
[{out_9,act_9}, {}, {req_9}];
|
||||
[{req_9}, {act_9}, {req_9}];
|
||||
[{req_9,lock}, {}, {req_9}];
|
||||
[{in_9}, {act_9}, {in_9}];
|
||||
[{in_9,act_9}, {}, {out_9,done}];
|
||||
[{req_9,act_1}, {}, {req_9}];
|
||||
[{req_9,act_2}, {}, {req_9}];
|
||||
[{req_9,act_3}, {}, {req_9}];
|
||||
[{req_9,act_4}, {}, {req_9}];
|
||||
[{req_9,act_5}, {}, {req_9}];
|
||||
[{req_9,act_6}, {}, {req_9}];
|
||||
[{req_9,act_7}, {}, {req_9}];
|
||||
[{req_9,act_8}, {}, {req_9}];
|
||||
[{req_9,act_10}, {}, {req_9}];
|
||||
[{req_9,act_11}, {}, {req_9}];
|
||||
[{req_9,act_12}, {}, {req_9}];
|
||||
[{req_9,act_13}, {}, {req_9}];
|
||||
[{req_9,act_14}, {}, {req_9}];
|
||||
[{req_9,act_15}, {}, {req_9}];
|
||||
[{req_9,act_9}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_10,act_11,act_12,act_13,act_14,act_15}, {in_9,lock}];
|
||||
[{out_10}, {act_10}, {out_10}];
|
||||
[{out_10,act_10}, {}, {req_10}];
|
||||
[{req_10}, {act_10}, {req_10}];
|
||||
[{req_10,lock}, {}, {req_10}];
|
||||
[{in_10}, {act_10}, {in_10}];
|
||||
[{in_10,act_10}, {}, {out_10,done}];
|
||||
[{req_10,act_1}, {}, {req_10}];
|
||||
[{req_10,act_2}, {}, {req_10}];
|
||||
[{req_10,act_3}, {}, {req_10}];
|
||||
[{req_10,act_4}, {}, {req_10}];
|
||||
[{req_10,act_5}, {}, {req_10}];
|
||||
[{req_10,act_6}, {}, {req_10}];
|
||||
[{req_10,act_7}, {}, {req_10}];
|
||||
[{req_10,act_8}, {}, {req_10}];
|
||||
[{req_10,act_9}, {}, {req_10}];
|
||||
[{req_10,act_11}, {}, {req_10}];
|
||||
[{req_10,act_12}, {}, {req_10}];
|
||||
[{req_10,act_13}, {}, {req_10}];
|
||||
[{req_10,act_14}, {}, {req_10}];
|
||||
[{req_10,act_15}, {}, {req_10}];
|
||||
[{req_10,act_10}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_11,act_12,act_13,act_14,act_15}, {in_10,lock}];
|
||||
[{out_11}, {act_11}, {out_11}];
|
||||
[{out_11,act_11}, {}, {req_11}];
|
||||
[{req_11}, {act_11}, {req_11}];
|
||||
[{req_11,lock}, {}, {req_11}];
|
||||
[{in_11}, {act_11}, {in_11}];
|
||||
[{in_11,act_11}, {}, {out_11,done}];
|
||||
[{req_11,act_1}, {}, {req_11}];
|
||||
[{req_11,act_2}, {}, {req_11}];
|
||||
[{req_11,act_3}, {}, {req_11}];
|
||||
[{req_11,act_4}, {}, {req_11}];
|
||||
[{req_11,act_5}, {}, {req_11}];
|
||||
[{req_11,act_6}, {}, {req_11}];
|
||||
[{req_11,act_7}, {}, {req_11}];
|
||||
[{req_11,act_8}, {}, {req_11}];
|
||||
[{req_11,act_9}, {}, {req_11}];
|
||||
[{req_11,act_10}, {}, {req_11}];
|
||||
[{req_11,act_12}, {}, {req_11}];
|
||||
[{req_11,act_13}, {}, {req_11}];
|
||||
[{req_11,act_14}, {}, {req_11}];
|
||||
[{req_11,act_15}, {}, {req_11}];
|
||||
[{req_11,act_11}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_12,act_13,act_14,act_15}, {in_11,lock}];
|
||||
[{out_12}, {act_12}, {out_12}];
|
||||
[{out_12,act_12}, {}, {req_12}];
|
||||
[{req_12}, {act_12}, {req_12}];
|
||||
[{req_12,lock}, {}, {req_12}];
|
||||
[{in_12}, {act_12}, {in_12}];
|
||||
[{in_12,act_12}, {}, {out_12,done}];
|
||||
[{req_12,act_1}, {}, {req_12}];
|
||||
[{req_12,act_2}, {}, {req_12}];
|
||||
[{req_12,act_3}, {}, {req_12}];
|
||||
[{req_12,act_4}, {}, {req_12}];
|
||||
[{req_12,act_5}, {}, {req_12}];
|
||||
[{req_12,act_6}, {}, {req_12}];
|
||||
[{req_12,act_7}, {}, {req_12}];
|
||||
[{req_12,act_8}, {}, {req_12}];
|
||||
[{req_12,act_9}, {}, {req_12}];
|
||||
[{req_12,act_10}, {}, {req_12}];
|
||||
[{req_12,act_11}, {}, {req_12}];
|
||||
[{req_12,act_13}, {}, {req_12}];
|
||||
[{req_12,act_14}, {}, {req_12}];
|
||||
[{req_12,act_15}, {}, {req_12}];
|
||||
[{req_12,act_12}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_13,act_14,act_15}, {in_12,lock}];
|
||||
[{out_13}, {act_13}, {out_13}];
|
||||
[{out_13,act_13}, {}, {req_13}];
|
||||
[{req_13}, {act_13}, {req_13}];
|
||||
[{req_13,lock}, {}, {req_13}];
|
||||
[{in_13}, {act_13}, {in_13}];
|
||||
[{in_13,act_13}, {}, {out_13,done}];
|
||||
[{req_13,act_1}, {}, {req_13}];
|
||||
[{req_13,act_2}, {}, {req_13}];
|
||||
[{req_13,act_3}, {}, {req_13}];
|
||||
[{req_13,act_4}, {}, {req_13}];
|
||||
[{req_13,act_5}, {}, {req_13}];
|
||||
[{req_13,act_6}, {}, {req_13}];
|
||||
[{req_13,act_7}, {}, {req_13}];
|
||||
[{req_13,act_8}, {}, {req_13}];
|
||||
[{req_13,act_9}, {}, {req_13}];
|
||||
[{req_13,act_10}, {}, {req_13}];
|
||||
[{req_13,act_11}, {}, {req_13}];
|
||||
[{req_13,act_12}, {}, {req_13}];
|
||||
[{req_13,act_14}, {}, {req_13}];
|
||||
[{req_13,act_15}, {}, {req_13}];
|
||||
[{req_13,act_13}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_14,act_15}, {in_13,lock}];
|
||||
[{out_14}, {act_14}, {out_14}];
|
||||
[{out_14,act_14}, {}, {req_14}];
|
||||
[{req_14}, {act_14}, {req_14}];
|
||||
[{req_14,lock}, {}, {req_14}];
|
||||
[{in_14}, {act_14}, {in_14}];
|
||||
[{in_14,act_14}, {}, {out_14,done}];
|
||||
[{req_14,act_1}, {}, {req_14}];
|
||||
[{req_14,act_2}, {}, {req_14}];
|
||||
[{req_14,act_3}, {}, {req_14}];
|
||||
[{req_14,act_4}, {}, {req_14}];
|
||||
[{req_14,act_5}, {}, {req_14}];
|
||||
[{req_14,act_6}, {}, {req_14}];
|
||||
[{req_14,act_7}, {}, {req_14}];
|
||||
[{req_14,act_8}, {}, {req_14}];
|
||||
[{req_14,act_9}, {}, {req_14}];
|
||||
[{req_14,act_10}, {}, {req_14}];
|
||||
[{req_14,act_11}, {}, {req_14}];
|
||||
[{req_14,act_12}, {}, {req_14}];
|
||||
[{req_14,act_13}, {}, {req_14}];
|
||||
[{req_14,act_15}, {}, {req_14}];
|
||||
[{req_14,act_14}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_15}, {in_14,lock}];
|
||||
[{out_15}, {act_15}, {out_15}];
|
||||
[{out_15,act_15}, {}, {req_15}];
|
||||
[{req_15}, {act_15}, {req_15}];
|
||||
[{req_15,lock}, {}, {req_15}];
|
||||
[{in_15}, {act_15}, {in_15}];
|
||||
[{in_15,act_15}, {}, {out_15,done}];
|
||||
[{req_15,act_1}, {}, {req_15}];
|
||||
[{req_15,act_2}, {}, {req_15}];
|
||||
[{req_15,act_3}, {}, {req_15}];
|
||||
[{req_15,act_4}, {}, {req_15}];
|
||||
[{req_15,act_5}, {}, {req_15}];
|
||||
[{req_15,act_6}, {}, {req_15}];
|
||||
[{req_15,act_7}, {}, {req_15}];
|
||||
[{req_15,act_8}, {}, {req_15}];
|
||||
[{req_15,act_9}, {}, {req_15}];
|
||||
[{req_15,act_10}, {}, {req_15}];
|
||||
[{req_15,act_11}, {}, {req_15}];
|
||||
[{req_15,act_12}, {}, {req_15}];
|
||||
[{req_15,act_13}, {}, {req_15}];
|
||||
[{req_15,act_14}, {}, {req_15}];
|
||||
[{req_15,act_15}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14}, {in_15,lock}];
|
||||
[{lock}, {done}, {lock}];
|
||||
)
|
||||
2
testing/mex/mex2.experiment
Normal file
2
testing/mex/mex2.experiment
Normal file
@ -0,0 +1,2 @@
|
||||
Weights: 10, 10
|
||||
Sets: {a, b}, {a}
|
||||
25
testing/mex/mex2.system
Normal file
25
testing/mex/mex2.system
Normal file
@ -0,0 +1,25 @@
|
||||
Environment: [
|
||||
k1 = ({}.k1 + {act_1}.k1),
|
||||
k2 = ({}.k2 + {act_2}.k2)
|
||||
]
|
||||
Initial Entities: {out_1, out_2}
|
||||
Context: [k1, k2]
|
||||
Reactions: (
|
||||
[{out_1}, {act_1}, {out_1}];
|
||||
[{req_1}, {act_1}, {req_1}];
|
||||
[{req_1,lock}, {}, {req_1}];
|
||||
[{req_1,act_2}, {}, {req_1}];
|
||||
[{in_1}, {act_1}, {in_1}];
|
||||
[{out_1,act_1}, {}, {req_1}];
|
||||
[{req_1,act_1}, {lock,act_2}, {in_1,lock}];
|
||||
[{in_1,act_1}, {}, {out_1,done}];
|
||||
[{out_2}, {act_2}, {out_2}];
|
||||
[{req_2}, {act_2}, {req_2}];
|
||||
[{req_2,lock}, {}, {req_2}];
|
||||
[{req_2,act_1}, {}, {req_2}];
|
||||
[{in_2}, {act_2}, {in_2}];
|
||||
[{out_2,act_2}, {}, {req_2}];
|
||||
[{req_2,act_2}, {lock,act_1}, {in_2,lock}];
|
||||
[{in_2,act_2}, {}, {out_2,done}];
|
||||
[{lock}, {done}, {lock}]
|
||||
)
|
||||
528
testing/mex/mex20.system
Normal file
528
testing/mex/mex20.system
Normal file
@ -0,0 +1,528 @@
|
||||
Environment: [
|
||||
k = ({act_1}.k + {act_2}.k + {act_3}.k + {act_4}.k + {act_5}.k + {act_6}.k + {act_7}.k + {act_8}.k + {act_9}.k + {act_10}.k + {act_11}.k + {act_12}.k + {act_13}.k + {act_14}.k + {act_15}.k + {act_16}.k + {act_17}.k + {act_18}.k + {act_19}.k + {act_20}.k)
|
||||
]
|
||||
Initial Entities: {out_1,out_2,out_3,out_4,out_5,out_6,out_7,out_8,out_9,out_10,out_11,out_12,out_13,out_14,out_15,out_16,out_17,out_18,out_19,out_20}
|
||||
Context: [k,k]
|
||||
Reactions: (
|
||||
[{out_1}, {act_1}, {out_1}];
|
||||
[{out_1,act_1}, {}, {req_1}];
|
||||
[{req_1}, {act_1}, {req_1}];
|
||||
[{req_1,lock}, {}, {req_1}];
|
||||
[{in_1}, {act_1}, {in_1}];
|
||||
[{in_1,act_1}, {}, {out_1,done}];
|
||||
[{req_1,act_2}, {}, {req_1}];
|
||||
[{req_1,act_3}, {}, {req_1}];
|
||||
[{req_1,act_4}, {}, {req_1}];
|
||||
[{req_1,act_5}, {}, {req_1}];
|
||||
[{req_1,act_6}, {}, {req_1}];
|
||||
[{req_1,act_7}, {}, {req_1}];
|
||||
[{req_1,act_8}, {}, {req_1}];
|
||||
[{req_1,act_9}, {}, {req_1}];
|
||||
[{req_1,act_10}, {}, {req_1}];
|
||||
[{req_1,act_11}, {}, {req_1}];
|
||||
[{req_1,act_12}, {}, {req_1}];
|
||||
[{req_1,act_13}, {}, {req_1}];
|
||||
[{req_1,act_14}, {}, {req_1}];
|
||||
[{req_1,act_15}, {}, {req_1}];
|
||||
[{req_1,act_16}, {}, {req_1}];
|
||||
[{req_1,act_17}, {}, {req_1}];
|
||||
[{req_1,act_18}, {}, {req_1}];
|
||||
[{req_1,act_19}, {}, {req_1}];
|
||||
[{req_1,act_20}, {}, {req_1}];
|
||||
[{req_1,act_1}, {lock,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_1,lock}];
|
||||
[{out_2}, {act_2}, {out_2}];
|
||||
[{out_2,act_2}, {}, {req_2}];
|
||||
[{req_2}, {act_2}, {req_2}];
|
||||
[{req_2,lock}, {}, {req_2}];
|
||||
[{in_2}, {act_2}, {in_2}];
|
||||
[{in_2,act_2}, {}, {out_2,done}];
|
||||
[{req_2,act_1}, {}, {req_2}];
|
||||
[{req_2,act_3}, {}, {req_2}];
|
||||
[{req_2,act_4}, {}, {req_2}];
|
||||
[{req_2,act_5}, {}, {req_2}];
|
||||
[{req_2,act_6}, {}, {req_2}];
|
||||
[{req_2,act_7}, {}, {req_2}];
|
||||
[{req_2,act_8}, {}, {req_2}];
|
||||
[{req_2,act_9}, {}, {req_2}];
|
||||
[{req_2,act_10}, {}, {req_2}];
|
||||
[{req_2,act_11}, {}, {req_2}];
|
||||
[{req_2,act_12}, {}, {req_2}];
|
||||
[{req_2,act_13}, {}, {req_2}];
|
||||
[{req_2,act_14}, {}, {req_2}];
|
||||
[{req_2,act_15}, {}, {req_2}];
|
||||
[{req_2,act_16}, {}, {req_2}];
|
||||
[{req_2,act_17}, {}, {req_2}];
|
||||
[{req_2,act_18}, {}, {req_2}];
|
||||
[{req_2,act_19}, {}, {req_2}];
|
||||
[{req_2,act_20}, {}, {req_2}];
|
||||
[{req_2,act_2}, {lock,act_1,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_2,lock}];
|
||||
[{out_3}, {act_3}, {out_3}];
|
||||
[{out_3,act_3}, {}, {req_3}];
|
||||
[{req_3}, {act_3}, {req_3}];
|
||||
[{req_3,lock}, {}, {req_3}];
|
||||
[{in_3}, {act_3}, {in_3}];
|
||||
[{in_3,act_3}, {}, {out_3,done}];
|
||||
[{req_3,act_1}, {}, {req_3}];
|
||||
[{req_3,act_2}, {}, {req_3}];
|
||||
[{req_3,act_4}, {}, {req_3}];
|
||||
[{req_3,act_5}, {}, {req_3}];
|
||||
[{req_3,act_6}, {}, {req_3}];
|
||||
[{req_3,act_7}, {}, {req_3}];
|
||||
[{req_3,act_8}, {}, {req_3}];
|
||||
[{req_3,act_9}, {}, {req_3}];
|
||||
[{req_3,act_10}, {}, {req_3}];
|
||||
[{req_3,act_11}, {}, {req_3}];
|
||||
[{req_3,act_12}, {}, {req_3}];
|
||||
[{req_3,act_13}, {}, {req_3}];
|
||||
[{req_3,act_14}, {}, {req_3}];
|
||||
[{req_3,act_15}, {}, {req_3}];
|
||||
[{req_3,act_16}, {}, {req_3}];
|
||||
[{req_3,act_17}, {}, {req_3}];
|
||||
[{req_3,act_18}, {}, {req_3}];
|
||||
[{req_3,act_19}, {}, {req_3}];
|
||||
[{req_3,act_20}, {}, {req_3}];
|
||||
[{req_3,act_3}, {lock,act_1,act_2,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_3,lock}];
|
||||
[{out_4}, {act_4}, {out_4}];
|
||||
[{out_4,act_4}, {}, {req_4}];
|
||||
[{req_4}, {act_4}, {req_4}];
|
||||
[{req_4,lock}, {}, {req_4}];
|
||||
[{in_4}, {act_4}, {in_4}];
|
||||
[{in_4,act_4}, {}, {out_4,done}];
|
||||
[{req_4,act_1}, {}, {req_4}];
|
||||
[{req_4,act_2}, {}, {req_4}];
|
||||
[{req_4,act_3}, {}, {req_4}];
|
||||
[{req_4,act_5}, {}, {req_4}];
|
||||
[{req_4,act_6}, {}, {req_4}];
|
||||
[{req_4,act_7}, {}, {req_4}];
|
||||
[{req_4,act_8}, {}, {req_4}];
|
||||
[{req_4,act_9}, {}, {req_4}];
|
||||
[{req_4,act_10}, {}, {req_4}];
|
||||
[{req_4,act_11}, {}, {req_4}];
|
||||
[{req_4,act_12}, {}, {req_4}];
|
||||
[{req_4,act_13}, {}, {req_4}];
|
||||
[{req_4,act_14}, {}, {req_4}];
|
||||
[{req_4,act_15}, {}, {req_4}];
|
||||
[{req_4,act_16}, {}, {req_4}];
|
||||
[{req_4,act_17}, {}, {req_4}];
|
||||
[{req_4,act_18}, {}, {req_4}];
|
||||
[{req_4,act_19}, {}, {req_4}];
|
||||
[{req_4,act_20}, {}, {req_4}];
|
||||
[{req_4,act_4}, {lock,act_1,act_2,act_3,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_4,lock}];
|
||||
[{out_5}, {act_5}, {out_5}];
|
||||
[{out_5,act_5}, {}, {req_5}];
|
||||
[{req_5}, {act_5}, {req_5}];
|
||||
[{req_5,lock}, {}, {req_5}];
|
||||
[{in_5}, {act_5}, {in_5}];
|
||||
[{in_5,act_5}, {}, {out_5,done}];
|
||||
[{req_5,act_1}, {}, {req_5}];
|
||||
[{req_5,act_2}, {}, {req_5}];
|
||||
[{req_5,act_3}, {}, {req_5}];
|
||||
[{req_5,act_4}, {}, {req_5}];
|
||||
[{req_5,act_6}, {}, {req_5}];
|
||||
[{req_5,act_7}, {}, {req_5}];
|
||||
[{req_5,act_8}, {}, {req_5}];
|
||||
[{req_5,act_9}, {}, {req_5}];
|
||||
[{req_5,act_10}, {}, {req_5}];
|
||||
[{req_5,act_11}, {}, {req_5}];
|
||||
[{req_5,act_12}, {}, {req_5}];
|
||||
[{req_5,act_13}, {}, {req_5}];
|
||||
[{req_5,act_14}, {}, {req_5}];
|
||||
[{req_5,act_15}, {}, {req_5}];
|
||||
[{req_5,act_16}, {}, {req_5}];
|
||||
[{req_5,act_17}, {}, {req_5}];
|
||||
[{req_5,act_18}, {}, {req_5}];
|
||||
[{req_5,act_19}, {}, {req_5}];
|
||||
[{req_5,act_20}, {}, {req_5}];
|
||||
[{req_5,act_5}, {lock,act_1,act_2,act_3,act_4,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_5,lock}];
|
||||
[{out_6}, {act_6}, {out_6}];
|
||||
[{out_6,act_6}, {}, {req_6}];
|
||||
[{req_6}, {act_6}, {req_6}];
|
||||
[{req_6,lock}, {}, {req_6}];
|
||||
[{in_6}, {act_6}, {in_6}];
|
||||
[{in_6,act_6}, {}, {out_6,done}];
|
||||
[{req_6,act_1}, {}, {req_6}];
|
||||
[{req_6,act_2}, {}, {req_6}];
|
||||
[{req_6,act_3}, {}, {req_6}];
|
||||
[{req_6,act_4}, {}, {req_6}];
|
||||
[{req_6,act_5}, {}, {req_6}];
|
||||
[{req_6,act_7}, {}, {req_6}];
|
||||
[{req_6,act_8}, {}, {req_6}];
|
||||
[{req_6,act_9}, {}, {req_6}];
|
||||
[{req_6,act_10}, {}, {req_6}];
|
||||
[{req_6,act_11}, {}, {req_6}];
|
||||
[{req_6,act_12}, {}, {req_6}];
|
||||
[{req_6,act_13}, {}, {req_6}];
|
||||
[{req_6,act_14}, {}, {req_6}];
|
||||
[{req_6,act_15}, {}, {req_6}];
|
||||
[{req_6,act_16}, {}, {req_6}];
|
||||
[{req_6,act_17}, {}, {req_6}];
|
||||
[{req_6,act_18}, {}, {req_6}];
|
||||
[{req_6,act_19}, {}, {req_6}];
|
||||
[{req_6,act_20}, {}, {req_6}];
|
||||
[{req_6,act_6}, {lock,act_1,act_2,act_3,act_4,act_5,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_6,lock}];
|
||||
[{out_7}, {act_7}, {out_7}];
|
||||
[{out_7,act_7}, {}, {req_7}];
|
||||
[{req_7}, {act_7}, {req_7}];
|
||||
[{req_7,lock}, {}, {req_7}];
|
||||
[{in_7}, {act_7}, {in_7}];
|
||||
[{in_7,act_7}, {}, {out_7,done}];
|
||||
[{req_7,act_1}, {}, {req_7}];
|
||||
[{req_7,act_2}, {}, {req_7}];
|
||||
[{req_7,act_3}, {}, {req_7}];
|
||||
[{req_7,act_4}, {}, {req_7}];
|
||||
[{req_7,act_5}, {}, {req_7}];
|
||||
[{req_7,act_6}, {}, {req_7}];
|
||||
[{req_7,act_8}, {}, {req_7}];
|
||||
[{req_7,act_9}, {}, {req_7}];
|
||||
[{req_7,act_10}, {}, {req_7}];
|
||||
[{req_7,act_11}, {}, {req_7}];
|
||||
[{req_7,act_12}, {}, {req_7}];
|
||||
[{req_7,act_13}, {}, {req_7}];
|
||||
[{req_7,act_14}, {}, {req_7}];
|
||||
[{req_7,act_15}, {}, {req_7}];
|
||||
[{req_7,act_16}, {}, {req_7}];
|
||||
[{req_7,act_17}, {}, {req_7}];
|
||||
[{req_7,act_18}, {}, {req_7}];
|
||||
[{req_7,act_19}, {}, {req_7}];
|
||||
[{req_7,act_20}, {}, {req_7}];
|
||||
[{req_7,act_7}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_7,lock}];
|
||||
[{out_8}, {act_8}, {out_8}];
|
||||
[{out_8,act_8}, {}, {req_8}];
|
||||
[{req_8}, {act_8}, {req_8}];
|
||||
[{req_8,lock}, {}, {req_8}];
|
||||
[{in_8}, {act_8}, {in_8}];
|
||||
[{in_8,act_8}, {}, {out_8,done}];
|
||||
[{req_8,act_1}, {}, {req_8}];
|
||||
[{req_8,act_2}, {}, {req_8}];
|
||||
[{req_8,act_3}, {}, {req_8}];
|
||||
[{req_8,act_4}, {}, {req_8}];
|
||||
[{req_8,act_5}, {}, {req_8}];
|
||||
[{req_8,act_6}, {}, {req_8}];
|
||||
[{req_8,act_7}, {}, {req_8}];
|
||||
[{req_8,act_9}, {}, {req_8}];
|
||||
[{req_8,act_10}, {}, {req_8}];
|
||||
[{req_8,act_11}, {}, {req_8}];
|
||||
[{req_8,act_12}, {}, {req_8}];
|
||||
[{req_8,act_13}, {}, {req_8}];
|
||||
[{req_8,act_14}, {}, {req_8}];
|
||||
[{req_8,act_15}, {}, {req_8}];
|
||||
[{req_8,act_16}, {}, {req_8}];
|
||||
[{req_8,act_17}, {}, {req_8}];
|
||||
[{req_8,act_18}, {}, {req_8}];
|
||||
[{req_8,act_19}, {}, {req_8}];
|
||||
[{req_8,act_20}, {}, {req_8}];
|
||||
[{req_8,act_8}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_8,lock}];
|
||||
[{out_9}, {act_9}, {out_9}];
|
||||
[{out_9,act_9}, {}, {req_9}];
|
||||
[{req_9}, {act_9}, {req_9}];
|
||||
[{req_9,lock}, {}, {req_9}];
|
||||
[{in_9}, {act_9}, {in_9}];
|
||||
[{in_9,act_9}, {}, {out_9,done}];
|
||||
[{req_9,act_1}, {}, {req_9}];
|
||||
[{req_9,act_2}, {}, {req_9}];
|
||||
[{req_9,act_3}, {}, {req_9}];
|
||||
[{req_9,act_4}, {}, {req_9}];
|
||||
[{req_9,act_5}, {}, {req_9}];
|
||||
[{req_9,act_6}, {}, {req_9}];
|
||||
[{req_9,act_7}, {}, {req_9}];
|
||||
[{req_9,act_8}, {}, {req_9}];
|
||||
[{req_9,act_10}, {}, {req_9}];
|
||||
[{req_9,act_11}, {}, {req_9}];
|
||||
[{req_9,act_12}, {}, {req_9}];
|
||||
[{req_9,act_13}, {}, {req_9}];
|
||||
[{req_9,act_14}, {}, {req_9}];
|
||||
[{req_9,act_15}, {}, {req_9}];
|
||||
[{req_9,act_16}, {}, {req_9}];
|
||||
[{req_9,act_17}, {}, {req_9}];
|
||||
[{req_9,act_18}, {}, {req_9}];
|
||||
[{req_9,act_19}, {}, {req_9}];
|
||||
[{req_9,act_20}, {}, {req_9}];
|
||||
[{req_9,act_9}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_9,lock}];
|
||||
[{out_10}, {act_10}, {out_10}];
|
||||
[{out_10,act_10}, {}, {req_10}];
|
||||
[{req_10}, {act_10}, {req_10}];
|
||||
[{req_10,lock}, {}, {req_10}];
|
||||
[{in_10}, {act_10}, {in_10}];
|
||||
[{in_10,act_10}, {}, {out_10,done}];
|
||||
[{req_10,act_1}, {}, {req_10}];
|
||||
[{req_10,act_2}, {}, {req_10}];
|
||||
[{req_10,act_3}, {}, {req_10}];
|
||||
[{req_10,act_4}, {}, {req_10}];
|
||||
[{req_10,act_5}, {}, {req_10}];
|
||||
[{req_10,act_6}, {}, {req_10}];
|
||||
[{req_10,act_7}, {}, {req_10}];
|
||||
[{req_10,act_8}, {}, {req_10}];
|
||||
[{req_10,act_9}, {}, {req_10}];
|
||||
[{req_10,act_11}, {}, {req_10}];
|
||||
[{req_10,act_12}, {}, {req_10}];
|
||||
[{req_10,act_13}, {}, {req_10}];
|
||||
[{req_10,act_14}, {}, {req_10}];
|
||||
[{req_10,act_15}, {}, {req_10}];
|
||||
[{req_10,act_16}, {}, {req_10}];
|
||||
[{req_10,act_17}, {}, {req_10}];
|
||||
[{req_10,act_18}, {}, {req_10}];
|
||||
[{req_10,act_19}, {}, {req_10}];
|
||||
[{req_10,act_20}, {}, {req_10}];
|
||||
[{req_10,act_10}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_10,lock}];
|
||||
[{out_11}, {act_11}, {out_11}];
|
||||
[{out_11,act_11}, {}, {req_11}];
|
||||
[{req_11}, {act_11}, {req_11}];
|
||||
[{req_11,lock}, {}, {req_11}];
|
||||
[{in_11}, {act_11}, {in_11}];
|
||||
[{in_11,act_11}, {}, {out_11,done}];
|
||||
[{req_11,act_1}, {}, {req_11}];
|
||||
[{req_11,act_2}, {}, {req_11}];
|
||||
[{req_11,act_3}, {}, {req_11}];
|
||||
[{req_11,act_4}, {}, {req_11}];
|
||||
[{req_11,act_5}, {}, {req_11}];
|
||||
[{req_11,act_6}, {}, {req_11}];
|
||||
[{req_11,act_7}, {}, {req_11}];
|
||||
[{req_11,act_8}, {}, {req_11}];
|
||||
[{req_11,act_9}, {}, {req_11}];
|
||||
[{req_11,act_10}, {}, {req_11}];
|
||||
[{req_11,act_12}, {}, {req_11}];
|
||||
[{req_11,act_13}, {}, {req_11}];
|
||||
[{req_11,act_14}, {}, {req_11}];
|
||||
[{req_11,act_15}, {}, {req_11}];
|
||||
[{req_11,act_16}, {}, {req_11}];
|
||||
[{req_11,act_17}, {}, {req_11}];
|
||||
[{req_11,act_18}, {}, {req_11}];
|
||||
[{req_11,act_19}, {}, {req_11}];
|
||||
[{req_11,act_20}, {}, {req_11}];
|
||||
[{req_11,act_11}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_11,lock}];
|
||||
[{out_12}, {act_12}, {out_12}];
|
||||
[{out_12,act_12}, {}, {req_12}];
|
||||
[{req_12}, {act_12}, {req_12}];
|
||||
[{req_12,lock}, {}, {req_12}];
|
||||
[{in_12}, {act_12}, {in_12}];
|
||||
[{in_12,act_12}, {}, {out_12,done}];
|
||||
[{req_12,act_1}, {}, {req_12}];
|
||||
[{req_12,act_2}, {}, {req_12}];
|
||||
[{req_12,act_3}, {}, {req_12}];
|
||||
[{req_12,act_4}, {}, {req_12}];
|
||||
[{req_12,act_5}, {}, {req_12}];
|
||||
[{req_12,act_6}, {}, {req_12}];
|
||||
[{req_12,act_7}, {}, {req_12}];
|
||||
[{req_12,act_8}, {}, {req_12}];
|
||||
[{req_12,act_9}, {}, {req_12}];
|
||||
[{req_12,act_10}, {}, {req_12}];
|
||||
[{req_12,act_11}, {}, {req_12}];
|
||||
[{req_12,act_13}, {}, {req_12}];
|
||||
[{req_12,act_14}, {}, {req_12}];
|
||||
[{req_12,act_15}, {}, {req_12}];
|
||||
[{req_12,act_16}, {}, {req_12}];
|
||||
[{req_12,act_17}, {}, {req_12}];
|
||||
[{req_12,act_18}, {}, {req_12}];
|
||||
[{req_12,act_19}, {}, {req_12}];
|
||||
[{req_12,act_20}, {}, {req_12}];
|
||||
[{req_12,act_12}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_13,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_12,lock}];
|
||||
[{out_13}, {act_13}, {out_13}];
|
||||
[{out_13,act_13}, {}, {req_13}];
|
||||
[{req_13}, {act_13}, {req_13}];
|
||||
[{req_13,lock}, {}, {req_13}];
|
||||
[{in_13}, {act_13}, {in_13}];
|
||||
[{in_13,act_13}, {}, {out_13,done}];
|
||||
[{req_13,act_1}, {}, {req_13}];
|
||||
[{req_13,act_2}, {}, {req_13}];
|
||||
[{req_13,act_3}, {}, {req_13}];
|
||||
[{req_13,act_4}, {}, {req_13}];
|
||||
[{req_13,act_5}, {}, {req_13}];
|
||||
[{req_13,act_6}, {}, {req_13}];
|
||||
[{req_13,act_7}, {}, {req_13}];
|
||||
[{req_13,act_8}, {}, {req_13}];
|
||||
[{req_13,act_9}, {}, {req_13}];
|
||||
[{req_13,act_10}, {}, {req_13}];
|
||||
[{req_13,act_11}, {}, {req_13}];
|
||||
[{req_13,act_12}, {}, {req_13}];
|
||||
[{req_13,act_14}, {}, {req_13}];
|
||||
[{req_13,act_15}, {}, {req_13}];
|
||||
[{req_13,act_16}, {}, {req_13}];
|
||||
[{req_13,act_17}, {}, {req_13}];
|
||||
[{req_13,act_18}, {}, {req_13}];
|
||||
[{req_13,act_19}, {}, {req_13}];
|
||||
[{req_13,act_20}, {}, {req_13}];
|
||||
[{req_13,act_13}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_14,act_15,act_16,act_17,act_18,act_19,act_20}, {in_13,lock}];
|
||||
[{out_14}, {act_14}, {out_14}];
|
||||
[{out_14,act_14}, {}, {req_14}];
|
||||
[{req_14}, {act_14}, {req_14}];
|
||||
[{req_14,lock}, {}, {req_14}];
|
||||
[{in_14}, {act_14}, {in_14}];
|
||||
[{in_14,act_14}, {}, {out_14,done}];
|
||||
[{req_14,act_1}, {}, {req_14}];
|
||||
[{req_14,act_2}, {}, {req_14}];
|
||||
[{req_14,act_3}, {}, {req_14}];
|
||||
[{req_14,act_4}, {}, {req_14}];
|
||||
[{req_14,act_5}, {}, {req_14}];
|
||||
[{req_14,act_6}, {}, {req_14}];
|
||||
[{req_14,act_7}, {}, {req_14}];
|
||||
[{req_14,act_8}, {}, {req_14}];
|
||||
[{req_14,act_9}, {}, {req_14}];
|
||||
[{req_14,act_10}, {}, {req_14}];
|
||||
[{req_14,act_11}, {}, {req_14}];
|
||||
[{req_14,act_12}, {}, {req_14}];
|
||||
[{req_14,act_13}, {}, {req_14}];
|
||||
[{req_14,act_15}, {}, {req_14}];
|
||||
[{req_14,act_16}, {}, {req_14}];
|
||||
[{req_14,act_17}, {}, {req_14}];
|
||||
[{req_14,act_18}, {}, {req_14}];
|
||||
[{req_14,act_19}, {}, {req_14}];
|
||||
[{req_14,act_20}, {}, {req_14}];
|
||||
[{req_14,act_14}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_15,act_16,act_17,act_18,act_19,act_20}, {in_14,lock}];
|
||||
[{out_15}, {act_15}, {out_15}];
|
||||
[{out_15,act_15}, {}, {req_15}];
|
||||
[{req_15}, {act_15}, {req_15}];
|
||||
[{req_15,lock}, {}, {req_15}];
|
||||
[{in_15}, {act_15}, {in_15}];
|
||||
[{in_15,act_15}, {}, {out_15,done}];
|
||||
[{req_15,act_1}, {}, {req_15}];
|
||||
[{req_15,act_2}, {}, {req_15}];
|
||||
[{req_15,act_3}, {}, {req_15}];
|
||||
[{req_15,act_4}, {}, {req_15}];
|
||||
[{req_15,act_5}, {}, {req_15}];
|
||||
[{req_15,act_6}, {}, {req_15}];
|
||||
[{req_15,act_7}, {}, {req_15}];
|
||||
[{req_15,act_8}, {}, {req_15}];
|
||||
[{req_15,act_9}, {}, {req_15}];
|
||||
[{req_15,act_10}, {}, {req_15}];
|
||||
[{req_15,act_11}, {}, {req_15}];
|
||||
[{req_15,act_12}, {}, {req_15}];
|
||||
[{req_15,act_13}, {}, {req_15}];
|
||||
[{req_15,act_14}, {}, {req_15}];
|
||||
[{req_15,act_16}, {}, {req_15}];
|
||||
[{req_15,act_17}, {}, {req_15}];
|
||||
[{req_15,act_18}, {}, {req_15}];
|
||||
[{req_15,act_19}, {}, {req_15}];
|
||||
[{req_15,act_20}, {}, {req_15}];
|
||||
[{req_15,act_15}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_16,act_17,act_18,act_19,act_20}, {in_15,lock}];
|
||||
[{out_16}, {act_16}, {out_16}];
|
||||
[{out_16,act_16}, {}, {req_16}];
|
||||
[{req_16}, {act_16}, {req_16}];
|
||||
[{req_16,lock}, {}, {req_16}];
|
||||
[{in_16}, {act_16}, {in_16}];
|
||||
[{in_16,act_16}, {}, {out_16,done}];
|
||||
[{req_16,act_1}, {}, {req_16}];
|
||||
[{req_16,act_2}, {}, {req_16}];
|
||||
[{req_16,act_3}, {}, {req_16}];
|
||||
[{req_16,act_4}, {}, {req_16}];
|
||||
[{req_16,act_5}, {}, {req_16}];
|
||||
[{req_16,act_6}, {}, {req_16}];
|
||||
[{req_16,act_7}, {}, {req_16}];
|
||||
[{req_16,act_8}, {}, {req_16}];
|
||||
[{req_16,act_9}, {}, {req_16}];
|
||||
[{req_16,act_10}, {}, {req_16}];
|
||||
[{req_16,act_11}, {}, {req_16}];
|
||||
[{req_16,act_12}, {}, {req_16}];
|
||||
[{req_16,act_13}, {}, {req_16}];
|
||||
[{req_16,act_14}, {}, {req_16}];
|
||||
[{req_16,act_15}, {}, {req_16}];
|
||||
[{req_16,act_17}, {}, {req_16}];
|
||||
[{req_16,act_18}, {}, {req_16}];
|
||||
[{req_16,act_19}, {}, {req_16}];
|
||||
[{req_16,act_20}, {}, {req_16}];
|
||||
[{req_16,act_16}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_17,act_18,act_19,act_20}, {in_16,lock}];
|
||||
[{out_17}, {act_17}, {out_17}];
|
||||
[{out_17,act_17}, {}, {req_17}];
|
||||
[{req_17}, {act_17}, {req_17}];
|
||||
[{req_17,lock}, {}, {req_17}];
|
||||
[{in_17}, {act_17}, {in_17}];
|
||||
[{in_17,act_17}, {}, {out_17,done}];
|
||||
[{req_17,act_1}, {}, {req_17}];
|
||||
[{req_17,act_2}, {}, {req_17}];
|
||||
[{req_17,act_3}, {}, {req_17}];
|
||||
[{req_17,act_4}, {}, {req_17}];
|
||||
[{req_17,act_5}, {}, {req_17}];
|
||||
[{req_17,act_6}, {}, {req_17}];
|
||||
[{req_17,act_7}, {}, {req_17}];
|
||||
[{req_17,act_8}, {}, {req_17}];
|
||||
[{req_17,act_9}, {}, {req_17}];
|
||||
[{req_17,act_10}, {}, {req_17}];
|
||||
[{req_17,act_11}, {}, {req_17}];
|
||||
[{req_17,act_12}, {}, {req_17}];
|
||||
[{req_17,act_13}, {}, {req_17}];
|
||||
[{req_17,act_14}, {}, {req_17}];
|
||||
[{req_17,act_15}, {}, {req_17}];
|
||||
[{req_17,act_16}, {}, {req_17}];
|
||||
[{req_17,act_18}, {}, {req_17}];
|
||||
[{req_17,act_19}, {}, {req_17}];
|
||||
[{req_17,act_20}, {}, {req_17}];
|
||||
[{req_17,act_17}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_18,act_19,act_20}, {in_17,lock}];
|
||||
[{out_18}, {act_18}, {out_18}];
|
||||
[{out_18,act_18}, {}, {req_18}];
|
||||
[{req_18}, {act_18}, {req_18}];
|
||||
[{req_18,lock}, {}, {req_18}];
|
||||
[{in_18}, {act_18}, {in_18}];
|
||||
[{in_18,act_18}, {}, {out_18,done}];
|
||||
[{req_18,act_1}, {}, {req_18}];
|
||||
[{req_18,act_2}, {}, {req_18}];
|
||||
[{req_18,act_3}, {}, {req_18}];
|
||||
[{req_18,act_4}, {}, {req_18}];
|
||||
[{req_18,act_5}, {}, {req_18}];
|
||||
[{req_18,act_6}, {}, {req_18}];
|
||||
[{req_18,act_7}, {}, {req_18}];
|
||||
[{req_18,act_8}, {}, {req_18}];
|
||||
[{req_18,act_9}, {}, {req_18}];
|
||||
[{req_18,act_10}, {}, {req_18}];
|
||||
[{req_18,act_11}, {}, {req_18}];
|
||||
[{req_18,act_12}, {}, {req_18}];
|
||||
[{req_18,act_13}, {}, {req_18}];
|
||||
[{req_18,act_14}, {}, {req_18}];
|
||||
[{req_18,act_15}, {}, {req_18}];
|
||||
[{req_18,act_16}, {}, {req_18}];
|
||||
[{req_18,act_17}, {}, {req_18}];
|
||||
[{req_18,act_19}, {}, {req_18}];
|
||||
[{req_18,act_20}, {}, {req_18}];
|
||||
[{req_18,act_18}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_19,act_20}, {in_18,lock}];
|
||||
[{out_19}, {act_19}, {out_19}];
|
||||
[{out_19,act_19}, {}, {req_19}];
|
||||
[{req_19}, {act_19}, {req_19}];
|
||||
[{req_19,lock}, {}, {req_19}];
|
||||
[{in_19}, {act_19}, {in_19}];
|
||||
[{in_19,act_19}, {}, {out_19,done}];
|
||||
[{req_19,act_1}, {}, {req_19}];
|
||||
[{req_19,act_2}, {}, {req_19}];
|
||||
[{req_19,act_3}, {}, {req_19}];
|
||||
[{req_19,act_4}, {}, {req_19}];
|
||||
[{req_19,act_5}, {}, {req_19}];
|
||||
[{req_19,act_6}, {}, {req_19}];
|
||||
[{req_19,act_7}, {}, {req_19}];
|
||||
[{req_19,act_8}, {}, {req_19}];
|
||||
[{req_19,act_9}, {}, {req_19}];
|
||||
[{req_19,act_10}, {}, {req_19}];
|
||||
[{req_19,act_11}, {}, {req_19}];
|
||||
[{req_19,act_12}, {}, {req_19}];
|
||||
[{req_19,act_13}, {}, {req_19}];
|
||||
[{req_19,act_14}, {}, {req_19}];
|
||||
[{req_19,act_15}, {}, {req_19}];
|
||||
[{req_19,act_16}, {}, {req_19}];
|
||||
[{req_19,act_17}, {}, {req_19}];
|
||||
[{req_19,act_18}, {}, {req_19}];
|
||||
[{req_19,act_20}, {}, {req_19}];
|
||||
[{req_19,act_19}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_20}, {in_19,lock}];
|
||||
[{out_20}, {act_20}, {out_20}];
|
||||
[{out_20,act_20}, {}, {req_20}];
|
||||
[{req_20}, {act_20}, {req_20}];
|
||||
[{req_20,lock}, {}, {req_20}];
|
||||
[{in_20}, {act_20}, {in_20}];
|
||||
[{in_20,act_20}, {}, {out_20,done}];
|
||||
[{req_20,act_1}, {}, {req_20}];
|
||||
[{req_20,act_2}, {}, {req_20}];
|
||||
[{req_20,act_3}, {}, {req_20}];
|
||||
[{req_20,act_4}, {}, {req_20}];
|
||||
[{req_20,act_5}, {}, {req_20}];
|
||||
[{req_20,act_6}, {}, {req_20}];
|
||||
[{req_20,act_7}, {}, {req_20}];
|
||||
[{req_20,act_8}, {}, {req_20}];
|
||||
[{req_20,act_9}, {}, {req_20}];
|
||||
[{req_20,act_10}, {}, {req_20}];
|
||||
[{req_20,act_11}, {}, {req_20}];
|
||||
[{req_20,act_12}, {}, {req_20}];
|
||||
[{req_20,act_13}, {}, {req_20}];
|
||||
[{req_20,act_14}, {}, {req_20}];
|
||||
[{req_20,act_15}, {}, {req_20}];
|
||||
[{req_20,act_16}, {}, {req_20}];
|
||||
[{req_20,act_17}, {}, {req_20}];
|
||||
[{req_20,act_18}, {}, {req_20}];
|
||||
[{req_20,act_19}, {}, {req_20}];
|
||||
[{req_20,act_20}, {lock,act_1,act_2,act_3,act_4,act_5,act_6,act_7,act_8,act_9,act_10,act_11,act_12,act_13,act_14,act_15,act_16,act_17,act_18,act_19}, {in_20,lock}];
|
||||
[{lock}, {done}, {lock}];
|
||||
)
|
||||
37
testing/mex/mex3.system
Normal file
37
testing/mex/mex3.system
Normal file
@ -0,0 +1,37 @@
|
||||
Environment: [
|
||||
k1 = ({}.k1 + {act_1}.k1),
|
||||
k2 = ({}.k2 + {act_2}.k2),
|
||||
k3 = ({}.k3 + {act_3}.k3),
|
||||
]
|
||||
Initial Entities: {out_1, out_2, out_3}
|
||||
Context: [k1, k2, k3]
|
||||
Reactions: (
|
||||
[{out_1}, {act_1}, {out_1}];
|
||||
[{req_1}, {act_1}, {req_1}];
|
||||
[{req_1,lock}, {}, {req_1}];
|
||||
[{req_1,act_2}, {}, {req_1}];
|
||||
[{req_1,act_3}, {}, {req_1}];
|
||||
[{in_1}, {act_1}, {in_1}];
|
||||
[{out_1,act_1}, {}, {req_1}];
|
||||
[{req_1,act_1}, {lock,act_2,act_3}, {in_1,lock}];
|
||||
[{in_1,act_1}, {}, {out_1,done}];
|
||||
[{out_2}, {act_2}, {out_2}];
|
||||
[{req_2}, {act_2}, {req_2}];
|
||||
[{req_2,lock}, {}, {req_2}];
|
||||
[{req_2,act_1}, {}, {req_2}];
|
||||
[{req_2,act_3}, {}, {req_2}];
|
||||
[{in_2}, {act_2}, {in_2}];
|
||||
[{out_2,act_2}, {}, {req_2}];
|
||||
[{req_2,act_2}, {lock,act_1,act_3}, {in_2,lock}];
|
||||
[{in_2,act_2}, {}, {out_2,done}];
|
||||
[{out_3}, {act_3}, {out_3}];
|
||||
[{req_3}, {act_3}, {req_3}];
|
||||
[{req_3,lock}, {}, {req_3}];
|
||||
[{req_3,act_1}, {}, {req_3}];
|
||||
[{req_3,act_2}, {}, {req_3}];
|
||||
[{in_3}, {act_3}, {in_3}];
|
||||
[{out_3,act_3}, {}, {req_3}];
|
||||
[{req_3,act_3}, {lock,act_1,act_2}, {in_3,lock}];
|
||||
[{in_3,act_3}, {}, {out_3,done}];
|
||||
[{lock}, {done}, {lock}];
|
||||
)
|
||||
1088
testing/mex/mex30.system
Normal file
1088
testing/mex/mex30.system
Normal file
File diff suppressed because it is too large
Load Diff
1848
testing/mex/mex40.system
Normal file
1848
testing/mex/mex40.system
Normal file
File diff suppressed because it is too large
Load Diff
63
testing/mex/mex5.system
Normal file
63
testing/mex/mex5.system
Normal file
@ -0,0 +1,63 @@
|
||||
Environment: [
|
||||
k = ({act_1}.k + {act_2}.k + {act_3}.k + {act_4}.k + {act_5}.k)
|
||||
]
|
||||
Initial Entities: {out_1, out_2, out_3, out_4, out_5}
|
||||
Context: [k, k]
|
||||
Reactions: (
|
||||
[{out_1}, {act_1}, {out_1}];
|
||||
[{out_1,act_1}, {}, {req_1}];
|
||||
[{req_1}, {act_1}, {req_1}];
|
||||
[{req_1,lock}, {}, {req_1}];
|
||||
[{in_1}, {act_1}, {in_1}];
|
||||
[{in_1,act_1}, {}, {out_1,done}];
|
||||
[{req_1,act_2}, {}, {req_1}];
|
||||
[{req_1,act_3}, {}, {req_1}];
|
||||
[{req_1,act_4}, {}, {req_1}];
|
||||
[{req_1,act_5}, {}, {req_1}];
|
||||
[{req_1,act_1}, {lock,act_2,act_3,act_4,act_5}, {in_1,lock}];
|
||||
[{out_2}, {act_2}, {out_2}];
|
||||
[{out_2,act_2}, {}, {req_2}];
|
||||
[{req_2}, {act_2}, {req_2}];
|
||||
[{req_2,lock}, {}, {req_2}];
|
||||
[{in_2}, {act_2}, {in_2}];
|
||||
[{in_2,act_2}, {}, {out_2,done}];
|
||||
[{req_2,act_1}, {}, {req_2}];
|
||||
[{req_2,act_3}, {}, {req_2}];
|
||||
[{req_2,act_4}, {}, {req_2}];
|
||||
[{req_2,act_5}, {}, {req_2}];
|
||||
[{req_2,act_2}, {lock,act_1,act_3,act_4,act_5}, {in_2,lock}];
|
||||
[{out_3}, {act_3}, {out_3}];
|
||||
[{out_3,act_3}, {}, {req_3}];
|
||||
[{req_3}, {act_3}, {req_3}];
|
||||
[{req_3,lock}, {}, {req_3}];
|
||||
[{in_3}, {act_3}, {in_3}];
|
||||
[{in_3,act_3}, {}, {out_3,done}];
|
||||
[{req_3,act_1}, {}, {req_3}];
|
||||
[{req_3,act_2}, {}, {req_3}];
|
||||
[{req_3,act_4}, {}, {req_3}];
|
||||
[{req_3,act_5}, {}, {req_3}];
|
||||
[{req_3,act_3}, {lock,act_1,act_2,act_4,act_5}, {in_3,lock}];
|
||||
[{out_4}, {act_4}, {out_4}];
|
||||
[{out_4,act_4}, {}, {req_4}];
|
||||
[{req_4}, {act_4}, {req_4}];
|
||||
[{req_4,lock}, {}, {req_4}];
|
||||
[{in_4}, {act_4}, {in_4}];
|
||||
[{in_4,act_4}, {}, {out_4,done}];
|
||||
[{req_4,act_1}, {}, {req_4}];
|
||||
[{req_4,act_2}, {}, {req_4}];
|
||||
[{req_4,act_3}, {}, {req_4}];
|
||||
[{req_4,act_5}, {}, {req_4}];
|
||||
[{req_4,act_4}, {lock,act_1,act_2,act_3,act_5}, {in_4,lock}];
|
||||
[{out_5}, {act_5}, {out_5}];
|
||||
[{out_5,act_5}, {}, {req_5}];
|
||||
[{req_5}, {act_5}, {req_5}];
|
||||
[{req_5,lock}, {}, {req_5}];
|
||||
[{in_5}, {act_5}, {in_5}];
|
||||
[{in_5,act_5}, {}, {out_5,done}];
|
||||
[{req_5,act_1}, {}, {req_5}];
|
||||
[{req_5,act_2}, {}, {req_5}];
|
||||
[{req_5,act_3}, {}, {req_5}];
|
||||
[{req_5,act_4}, {}, {req_5}];
|
||||
[{req_5,act_5}, {lock,act_1,act_2,act_3,act_4}, {in_5,lock}];
|
||||
[{lock}, {done}, {lock}];
|
||||
)
|
||||
2808
testing/mex/mex50.system
Normal file
2808
testing/mex/mex50.system
Normal file
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user