Contains the keyword model checking
Industrial applications of the PetriDotNet modelling and analysis tool. Science of Computer Programming. 2018;157:17-40. Abstract
Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking. In: Ilie-Zudor E, Kemény Z, Monostori L, editors. Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012). Budapest, Hungary: Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI); 2012.
Model Checking Graph Transformations: A Comparison of Two Approaches. In: Proc. ICGT 2004: Second International Conference on Graph Transformation. Vol 3256. Rome, Italy: Springer; 2004. p. 226-41. (LNCS; vol 3256). Abstract
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. In: Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques. Vol 109. Elsevier; 2004. p. 137-47. (ENTCS; vol 109). Abstract
