No abstract available.
Cited By
- Fayyazi M and Kirsch L Efficient simulation of oscillatory combinational loops Proceedings of the 47th Design Automation Conference, (777-780)
- Samejima M, Negoro K, Akiyoshi M, Komoda N and Mitsukuni K Hybrid simulation on qualitative and quantitative integrated model using Monte Carlo method Proceedings of the 2007 Summer Computer Simulation Conference, (1-6)
- Boukerche A, Hong S and Jacob T A performance study of a distributed algorithm for dynamic channel allocation Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems, (36-43)
- Wong Y and Hwang S Prediction of memory consumption in conservative parallel simulation Proceedings of the ninth workshop on Parallel and distributed simulation, (199-202)
- Wong Y and Hwang S (1995). Prediction of memory consumption in conservative parallel simulation, ACM SIGSIM Simulation Digest, 25:1, (199-202), Online publication date: 1-Jul-1995.
- Crain R, Sussman J, Schriber T, Henriksen J and Roberts S The winter simulation conference Proceedings of the 24th conference on Winter simulation, (3-33)
- Wong Y and Hwang S Knowledge-based distributed simulation generator Proceedings of the 25th annual symposium on Simulation, (156-161)
- Roberts R Simulation languages and database theory Proceedings of the 23rd conference on Winter simulation, (1228-1235)
- Thesen A and Travis L Simulation for decision making: an introduction Proceedings of the 21st conference on Winter simulation, (9-18)
- Thesen A and Travis L Introduction to simulation Proceedings of the 20th conference on Winter simulation, (7-14)
- Park S and Miller K (1988). Random number generators: good ones are hard to find, Communications of the ACM, 31:10, (1192-1201), Online publication date: 1-Oct-1988.
- (1987). Book Reviews, Interfaces, 17:1, (135-143), Online publication date: 1-Feb-1987.
- Aburdene M and Wilcox A Teaching simulation to undergraduate liberal arts students Proceedings of the 17th conference on Winter simulation, (170-172)
- Schmidt J Introduction to simulation Proceedings of the 16th conference on Winter simulation, (64-73)
- Baskaran V and Reddy Y An introspective environment for knowledge based simulation Proceedings of the 16th conference on Winter simulation, (644-651)
- Aburdene M and Finkel D An approach to teaching simulation to undergraduates Proceedings of the 15th conference on Winter simulation - Volume 1, (375-377)
Recommendations
Introduction to queueing petri nets: modeling formalism, tool support and case studies
ICPE '12: Proceedings of the 3rd ACM/SPEC International Conference on Performance EngineeringQueueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and evaluating their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, ...
An introduction to systems modeling and simulation with colored petri nets
WSC '10: Proceedings of the Winter Simulation ConferencePetri Nets provide a graphical notation for modeling systems and performing analysis. Colored Petri Nets (CPNs) combine the strengths of ordinary Petri Nets with a high level programming language, making them more suitable for modeling large systems. A ...
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets
ICEIS 2014: Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2Coloured Petri Nets (CPN) arose from the need to model very large and complex systems, which are found in real industrial applications. The idea behind CPN is to unite the ability to represent synchronization and competition for resources of Petri nets ...