Logo
Benutzer: Gast  Login
Autoren:
Bouvier, Pierre; Garavel, Hubert; Ponce-de-León, Hernán 
Dokumenttyp:
Konferenzbeitrag / Conference Paper 
Titel:
Automatic Decomposition of Petri Nets into Automata Networks 
Untertitel:
A Synthetic Account 
Titel Konferenzpublikation:
Application and Theory of Petri Nets and Concurrency 
Untertitel Konferenzpublikation:
41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings 
Reihentitel:
Lecture Notes in Computer Science, LNCS 
Bandnummer Reihe:
12152 
Konferenztitel:
International Conference Application and Theory of Petri Nets and Concurrency (Petri Nets) (41., 2020, Paris) 
Tagungsort:
Paris, France 
Jahr der Konferenz:
2020 
Datum Beginn der Konferenz:
24.06.2020 
Datum Ende der Konferenz:
25.06.2020 
Verlagsort:
Cham, Switzerland 
Verlag:
Springer 
Jahr:
2020 
Seiten von - bis:
3-23 
Sprache:
Englisch 
ISBN:
978-3-030-51830-1 ; 978-3-030-51831-8 
Fakultät:
Fakultät für Informatik 
Institut:
INF 6 - Institut für Systemsicherheit 
Professur:
Kinder, Johannes 
(Forschungs)einrichtung UniBw M:
CODE 
Open Access ja oder nein?:
Ja / Yes 
Angaben zum Volltext:

 
Volltext-Version:
Accepted Manuscript 
Veröffentlichungshinweis:
This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-51831-8_1