Evertz-Jägers, Brigitte2020-05-082020-05-081989https://dl.gi.de/handle/20.500.12116/33029deMethodik und Toolunterstützung zur Systemspezifikation mit PetrinetzenText/Journal Article