论文信息 - Simulation of Discrete‐Event Systems - 字舞流文

Simulation of Discrete‐Event Systems

Dirk P. Kroese | Zdravko I. Botev | Thomas Taimre | Rueven Y. Rubinstein | R. Y. Rubinstein | Z. Botev | T. Taimre

[1] David Harel,et al. The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version , 2004, SoftSpez Final Report.

[2] David Harel,et al. Executable object modeling with statecharts , 1997, Computer.

[3] S. W. Mitchell,et al. Wear and tear , 1871 .

[4] Dirk Abel,et al. Petri-Netze für Ingenieure , 1990 .

[5] George S. Fishman,et al. Discrete-event simulation , 2001 .

[6] Christos G. Cassandras,et al. Languages and Automata , 2021, Introduction to Discrete Event Systems.

[7] Jiacun Wang,et al. Timed Petri Nets: Theory and Application , 1998 .

[8] Athanasios Papoulis,et al. Probability, Random Variables and Stochastic Processes , 1965 .

[9] David Harel,et al. Statecharts in the making: a personal account , 2009, CACM.

[10] Vittorio Ferretti. α, β, γ,… , 2004 .

[11] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[12] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[13] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[14] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.

[15] David Harel,et al. Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .