Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Weniger Felder
Reset
Suchen
Einfache Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(22816)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(3788)
Fakultät für Elektrotechnik und Informationstechnik
(2138)
Fakultät für Humanwissenschaften
(2359)
Fakultät für Informatik
(3490)
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
(353)
INF 2 - Institut für Softwaretechnologie
(950)
INF 3 - Institut für Technische Informatik
(999)
INF 4 - Institut für Angewandte Informatik
(286)
INF 5 - Institut für Anwendungssicherheit
(357)
INF 6 - Institut für Systemsicherheit
(190)
INF 7 - Institut für Datensicherheit
(286)
INF 8 - Institut für Schutz und Zuverlässigkeit
(22)
Fakultät für Luft- und Raumfahrttechnik
(5491)
Fakultät für Staats- und Sozialwissenschaften
(2881)
Fakultät für Wirtschafts- und Organisationswissenschaften
(2697)
Fakultäten (HAW)
(1863)
Forschungszentren und -initiativen
(2278)
Weitere Einrichtungen
(17)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
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
DOI:
10.1007/978-3-030-51831-8_1
URL zum Inhalt:
https://doi.org/10.1007/978-3-030-51831-8_1
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
BibTeX
Vorkommen:
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