1. Performance models of multiprocessor systems;Ajmone Marsan,1986
2. Complexity of the deadlock avoidance problem;Araki,1977
3. Stochastic simulation: Algorithms and analysis;Asmussen,2007
4. Model synthesis, planning, scheduling and simulation of health-care delivery systems using Petri nets;Augusto,2014
5. Theory of regions;Badouel,1998