Visning af: Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

Tilbage til artikeldetaljer Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets Download Download PDF