Introducing probabilities in Statecharts to specify reactive systems for performance analysis

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

Networks of Waiting Lines

James R. Jackson · Operations Research · 1957 · 1.3K citations

Business, Industrial Engineering, Operations Management +16

Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

Douglas G. Down, Gunter Bolch, Stefan Greiner et al. · Journal of the American Statistical Association · 2000 · 1.2K citations

Business, Computer Engineering, Computer Science +16

Stochastic models of manufacturing systems

Colm Art O’Cinneide · Journal of Manufacturing Systems · 1994 · 1.1K citations

Engineering, Industrial Engineering, Manufacturing Engineering +12