Analysis of Petri nets in the GRASPIN environment

Schmidt, H.-W.H.-W.Schmidt2022-03-072022-03-071990https://publica.fraunhofer.de/handle/publica/286169en004005006Analysis of Petri nets in the GRASPIN environmentEuropean Strategic Programme for Research and Development in Information Technology (ESPRIT)report