OneTouch 4.0 Scanned Documentsceur-ws.org/Vol-180/paper18.pdf · Petri-nets or generalized...
8
OneTouch 4.0 Scanned Documentsceur-ws.org/Vol-180/paper18.pdf · Petri-nets or generalized stochastic Petri-nets [6] [7], which can represent blocking and syn- chronization aspects