Modelling and simulation of real dynamic system

A PN is graphically represented by a directed bipartite graph with two types of nodes (places and transitions). GSPNs are an extension of PNs including timed transitions whose firing delay is a random variable.