Synthesis of Petri nets from finite partial languages

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Robert LorenzGND, Robin Bergenthum, Jorg Desel, Sebastian Mauser
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/55435
ISBN:076952902XOPAC
Parent Title (English):Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia
Publisher:IEEE
Place of publication:Piscataway, NJ
Editor:Twan Basten, Gabriel Juhás, Sandeep Shukla
Type:Part of a Book
Language:English
Year of first Publication:2007
Release Date:2019/06/04
First Page:157
Last Page:166
DOI:https://doi.org/10.1109/acsd.2007.34
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