Suche nach Personen

plus im Publikationsserver
plus bei BASE
plus bei Google Scholar

Daten exportieren

 

Synthesis of Petri Nets from Scenarios with VipTool

Titelangaben

Verfügbarkeit überprüfen

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri Nets from Scenarios with VipTool.
In: Hee, Kees Max van: Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23 - 27, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 388-398
ISBN 978-3-540-68746-7 ; 3-540-68745-9 ; 978-3-540-68745-0

Weitere Angaben

Publikationsform:Aufsatz in einem Buch
Institutionen der Universität:Mathematisch-Geographische Fakultät > Informatik > Lehrstuhl für Angewandte Informatik (bis 2010)
Titel an der KU entstanden:Ja
KU.edoc-ID:607
Eingestellt am: 22. Jul 2009 10:33
Letzte Änderung: 01. Jan 2010 21:23
URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/607/
AnalyticsGoogle Scholar