Simulation nets, a simulation modeling and validation tool
暂无分享,去创建一个
Simulation nets can serve as a tool for discrete-event simulation. This tool is based on Petri nets with extensions for modeling, validating, and experimenting. Petri nets have been extensively explored since 1962. The resulting publications are easy to understand and are structured in a hierarchical fashion; the descriptions are so exact that they may be regarded as a pro gramming language. This language does not describe how the simulation should be performed but only what the underlying model looks like (i.e., it is a non-procedural description of the simulation program). Thus, it is possible to obtain simulation results in only a fraction of the time needed for tools requiring programming.
[1] James L. Peterson,et al. Petri Nets , 1977, CSUR.
[2] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..
[3] Aimo Törn,et al. Simulation Graphs: a General Tool for Modeling Simulation Designs , 1981 .
[4] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..