Fidelak, M.M.Fidelak2022-03-082022-03-081988https://publica.fraunhofer.de/handle/publica/316123enRepresentation and verification by Petri Nets and related system modelsconference paper