http://www.lsv.ens−cachan.fr/Publis/
To appear in Proc. Workshop on Interchange Format for Petri Nets, Bologna, Italy, June 2004.
Machine M1InterFAST
− guided edition of models and strategies − control and feedback during the analysis
Machine M2ServerFAST
network
FAST
HeuristicAccelerationAutomata library
p1p33t12t2p2p4t1:
guard: p1>=1 action: p1’=p1-1, p2’=p2+1, p3’=p3+2marking
t2:
guard: p2>=1, p3>=3 action: p1’=p1+1, p2’=p2-1, p3’=p3-3, p4’=p4+1
p144t1
2p2
t2
p2mp3
