Logo
User: Guest  Login
Authors:
Bouvier, Pierre; Garavel, Hubert; Ponce-de-León, Hernán 
Document type:
Konferenzbeitrag / Conference Paper 
Title:
Automatic Decomposition of Petri Nets into Automata Networks 
Subtitle:
A Synthetic Account 
Title of conference publication:
Application and Theory of Petri Nets and Concurrency 
Subtitle of conference publication:
41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings 
Series title:
Lecture Notes in Computer Science, LNCS 
Series volume:
12152 
Conference title:
International Conference Application and Theory of Petri Nets and Concurrency (Petri Nets) (2020, Paris) 
Venue:
Paris, France 
Year of conference:
2020 
Date of conference beginning:
24.06.2020 
Date of conference ending:
25.06.2020 
Place of publication:
Cham, Switzerland 
Publisher:
Springer 
Year:
2020 
Pages from - to:
3-23 
Language:
Englisch 
ISBN:
978-3-030-51830-1 ; 978-3-030-51831-8 
Department:
Fakultät für Informatik 
Institute:
INF 6 - Institut für Systemsicherheit 
Chair:
Kinder, Johannes 
Research Hub UniBw M:
CODE 
Open Access yes or no?:
Nein / No 
Fulltext information:

 
Fulltext version:
Accepted Manuscript 
Publication notice:
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