Theory of regions for the synthesis of inhibitor nets from scenarios

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Robert LorenzGND, Sebastian Mauser, Robin Bergenthum
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/56081
ISBN:9783540730934OPAC
Parent Title (English):Petri nets and other models of concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007
Publisher:Springer
Place of publication:Berlin [u.a.]
Editor:Jetty Kleijn, Alex Yakovlev
Type:Article
Language:English
Year of first Publication:2007
Release Date:2019/06/18
Volume:4546
First Page:342
Last Page:361
Series:Lecture Notes in Computer Science ; 4546
DOI:https://doi.org/10.1007/978-3-540-73094-1_21
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrprofessur für Informatik