Format:
1 Online-Ressource
Edition:
2. Aufl.
ISBN:
9783540769705
,
9783540769712
Language:
German
Subjects:
Computer Science
Keywords:
Petri-Netz
;
Petri-Netz
;
Nebenläufigkeit
;
Petri-Netz
;
Formale Sprache
;
Petri-Netz
;
Interleaving
;
Petri-Netz
;
Berechenbarkeit
;
Erreichbarkeit
;
Entscheidbarkeit
DOI:
10.1007/978-3-540-76971-2
Author information:
Priese, Lutz 1947-