A fast mutual exclusion algorithm
ACM Transactions on Computer Systems (TOCS)
Performance Analysis of k-ary n-cube Interconnection Networks
IEEE Transactions on Computers
Destination stripping dual ring: a new protocol for MANs
Computer Networks and ISDN Systems
Automated parallelization of timed Petri-net simulations
Journal of Parallel and Distributed Computing
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
A symbolic simulation mechanism for well-formed coloured Petri nets
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Distributed Simulation of Petri Nets
IEEE Parallel & Distributed Technology: Systems & Technology
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
IEEE Transactions on Parallel and Distributed Systems
A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri Nets
MASCOTS '93 Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
On Well-Formed Nets and Optimizations in Enabling Tests
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Modeling Symmetric Computer Architectures by SWNs
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
SWN Analysis and Simulation of Large Knockout ATM Switches
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
On the performance analysis of ABR in ATM LANs with stochastic petri nets
Journal of Systems Architecture: the EUROMICRO Journal
Performance analysis of multistage interconnection networks with a new high-level net model
Journal of Systems Architecture: the EUROMICRO Journal
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A high level language for structural relations in well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Efficient simulation of stochastic well-formed nets through symmetry exploitation
Proceedings of the Winter Simulation Conference
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Hi-index | 0.00 |
Colored Petri nets are a powerful formalism for the description of complex, asynchronous distributed systems. They can express in a very concise way the behavior of very large systems, especially in case these systems are composed of many replications of a few basic components that individually behave in a similar way. The simulation of such models is, however, difficult to perform in a computationally efficient way. For the specific class of stochastic well-formed nets (SWN) we present a set of optimizations that allow a very efficient implementation of the event-driven simulation technique. Three approaches are followed to improve simulation efficiency: First, efficient algorithm for the computation of the occurrences of a transition in a given marking; second, reduction of the amount of work needed to schedule or preempt the occurrence of a transition as a consequence of a marking change, taking into account the restrictions on color functions for the SWN formalism; third, reduction of the average length of the event list in the case of symmetric models where the so called symbolic simulation technique applies. The approach is validated by performance measurements on several large SWN models taken from the literature.