Maria
From MaRDI portal
Software:16312
No author found.
Related Items (18)
A UTP approach for rTiMo ⋮ Unnamed Item ⋮ On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers ⋮ Model Checking Safety Properties in Modular High-Level Nets ⋮ Unnamed Item ⋮ Applications and Theory of Petri Nets 2004 ⋮ Applications and Theory of Petri Nets 2004 ⋮ Applications and Theory of Petri Nets 2005 ⋮ Applications and Theory of Petri Nets 2005 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Implementing coloured Petri nets using a functional programming language ⋮ Unnamed Item ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ M-nets: a survey ⋮ Modelling Mobile IP with Mobile Petri Nets ⋮ Integrated Formal Methods ⋮ Unnamed Item
This page was built for software: Maria
