Return to Article Details
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets
Download
Download PDF