A survey of Petri net applications in batch processes
Computers in Industry
Design and implementation of a logic controller using Petri nets and ladder logic diagrams
Systems Analysis Modelling Simulation
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Automatica (Journal of IFAC)
Hi-index | 0.01 |