Building Petri net scenarios for dependable automation systems | Publicación