Safety Properties in Petri Net Modules Link: http://hdl.handle.net/20.500.12738/2809 Autor/in: Padberg, Julia Verlag/Körperschaft: IOS Press Erscheinungsjahr: 2004 Medientyp: Text Quellsystem: ReposIt Interne Metadaten Quelldatensatz oai:reposit.haw-hamburg.de:20.500.12738/2809