Parallel Programs as Petri Nets
Bernd Grahlmann
Broschiertes Buch

Parallel Programs as Petri Nets

Versandkostenfrei!
Versandfertig in 1-2 Wochen
29,95 €
inkl. MwSt.
PAYBACK Punkte
0 °P sammeln!
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 termination (in SDL) into high-level Petri nets. All related issues are covered: 1. The algebra of M-nets is extended 2. References relating parts of...