Modeling quantitative aspects of concurrent systems using weighted Petri net transducers

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Robert LorenzGND
URN:urn:nbn:de:bvb:384-opus4-554104
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/55410
ISBN:9783319194875OPAC
ISBN:9783319194882OPAC
ISSN:0302-9743OPAC
ISSN:1611-3349OPAC
Parent Title (English):Application and theory of petri nets and concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015
Publisher:Springer International
Place of publication:Cham
Editor:Raymond Devillers, Antti Valmari
Type:Part of a Book
Language:English
Year of first Publication:2015
Publishing Institution:Universität Augsburg
Release Date:2019/06/04
Volume:9115
First Page:49
Last Page:76
Series:Lecture Notes in Computer Science ; 9115
DOI:https://doi.org/10.1007/978-3-319-19488-2_3
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 Nebenläufige Systeme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Licence (German):Deutsches Urheberrecht