Sage Journals HomeSage Journals Home
loading
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures