An edition of Petri-Netze (2008)
By Lutz Priese
Publish Date
2008
Publisher
Springer
Language
ger
Pages
-
Description:
subjects: Symbolic and mathematical Logic, Formale Sprache, Berechenbarkeit, Petri-Netz, Entscheidbarkeit, Nebenla ufigkeit, Erreichbarkeit, Computer science, Combinatorial analysis, Interleaving, Computer software