ACM Transactions on Programming Languages and Systems (TOPLAS)
On the implementation of Petri nets
Advances in Petri Nets 1988
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
A distributed simulator for high order Petri nets
APN 90 Proceedings on Advances in Petri nets 1990
A class of systems with nearly zero distributed simulation overhead
Information Sciences: an International Journal
Efficient distributed simulation of acyclic systems
Information Sciences: an International Journal
Parallel simulation of performance Petri nets: extending the domain of parallel simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Parallel simulation of timed Petri-nets
WSC '91 Proceedings of the 23rd conference on Winter simulation
An approach towards distributed simulation of timed petri nets
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Systems with Low Distributed Simulation Overhead
IEEE Transactions on Parallel and Distributed Systems
A Study of Achievable Speedup in Distributed Simulation via NULL Messages
IEEE Transactions on Parallel and Distributed Systems
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
In an earlier work, we presented an approach towards the distributed simulation of Timed Petri Nets. This approach is based on some major changes to Chandy and Misra's null message based scheme. These changes were required because the well known distributed simulation schemes for discrete event systems do not directly apply to Timed Petri Nets due to non-autonomous nature of place nodes in these systems. Moreover, our scheme incorporated several ideas to increase the degree of concurrency and to reduce the number of overhead messages in distributed simulation. In this paper, we provide several algorithmic details to implement the above approach. The specific model of Timed Petri Nets that we assume here was also presented by us in the same earlier work.