Distributed simulation of petri netsExploiting Timed Petri Net Properties for Distributed Simulation PartitioningOperational analysis of timed Petri nets and applications to the computation of performance bounds