A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism
Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets
Uniform verification of workflow soundness