Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Fakultäten (univ.)
(22315)
Fakultäten (HAW)
(1788)
Forschungszentren und -initiativen
(2204)
CISS
(89)
CODE
(943)
dtec.bw
(331)
INDOR
(452)
MARC
(13)
MOVE
(14)
RISK
(279)
SENS
(1)
SPACE
(130)
Weitere Einrichtungen
(17)
Projects
Electronic Accepted Theses
Open Access Publications
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
petrinets20
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) (41., 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
DOI:
10.1007/978-3-030-51831-8_1
URL:
https://doi.org/10.1007/978-3-030-51831-8_1
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?:
Ja / Yes
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
BibTeX
PDF
If you experience problems opening the document, please try this link.
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit