Petri-Netze
By: Lutz Priese ...
Edition: 2. Aufl.
Series: EXamen.press
Publisher: Springer
Published: 2008
Place of publication: Berlin; Heidelberg
Language: ger
Format: [Elektronische Ressource] /
ISBN-13: 9783540769712; 9783540769705
Subjects: Symbolic and mathematical Logic; Formale Sprache; Berechenbarkeit; Petri-Netz; Entscheidbarkeit; Nebenla ufigkeit; Erreichbarkeit; Computer science; Combinatorial analysis; Interleaving; Computer software
Notes: Lizenzpflichtig.