1. Checking properties of nets using transformations;Berthelot,1986
2. Discrete, Continuous, and Hybrid Petri Nets;David,2010
3. A three-level strategy for the design and performance evaluation of hospital departments;Fanti;Systems, Man, and Cybernetics: Systems, IEEE Transactions on,2013
4. On the fluidiza-tion of Petri nets and marking homothecy;Fraca;Nonlinear Analysis: Hybrid Systems,2014
5. A continuous Petri net approach for model predictive control of traffic systems;Julvez;Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on,2010