Bounded choice-free Petri net synthesis: algorithmic issues (Englisch)
- Neue Suche nach: Best, E.
- Neue Suche nach: Devillers, R.
- Neue Suche nach: Schlachter, U.
- Neue Suche nach: Best, E.
- Neue Suche nach: Devillers, R.
- Neue Suche nach: Schlachter, U.
In:
ACTA INFORMATICA
;
55
, 7
;
575-611
;
2018
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Bounded choice-free Petri net synthesis: algorithmic issues
-
Beteiligte:
-
Erschienen in:ACTA INFORMATICA ; 55, 7 ; 575-611
-
Verlag:
- Neue Suche nach: Springer Nature
-
Erscheinungsdatum:01.01.2018
-
Format / Umfang:37 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 025
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 025 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 55, Ausgabe 7
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 547
-
Fast deterministic parsers for transition networksBorsotti, Angelo / Breveglieri, Luca / Crespi Reghizzi, Stefano / Morzenti, Angelo et al. | 2017
- 575
-
Bounded choice-free Petri net synthesis: algorithmic issuesBest, Eike / Devillers, Raymond / Schlachter, Uli et al. | 2017
- 613
-
An analysis of the M/M/1 queue with multiple working vacations by GI/M/1 type Markov processZhang, Hongbo et al. | 2018
- 613
-
An analysis of the M Formula Not Shown /M/1 queue with multiple working vacations by GI/M/1 type Markov processZhang, H. et al. | 2018