Pay in 4 interest-free payments of $7.49 Learn more
Ships within 48 hours · Estimated delivery Oct 8 - Oct 13
Porträt der Laura Battiferri (Ausschnitt)
habe ich auch in den drei Monaten
Vorbemerkungen13
course: Intercultural Competences
Universität Potsdam (Institut für Germanistik)
Parallel Programs as Petri Nets formatIsbn:Softcover - 9783831117994 Porträt der Laura Battiferri (Ausschnitt)This book gives a Petri net based solution to the challenge of simulation, analysis and verification of parallel programs. The presented formal definition of compositional high level Petri net semantics for B(PN) (Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems allows the correct and efficient translation of also recursive procedures (in B(PN) and SDL) and processes with dynamic creation and
