- Taschenbuch: 304 Seiten
- Verlag: Books on Demand Gmbh (2001)
- Sprache: Deutsch
- ISBN-10: 3831117993
- ISBN-13: 978-3831117994
- Größe und/oder Gewicht: 27,5 x 19 x 2,4 cm
- Amazon Bestseller-Rang: Nr. 5.023.201 in Bücher (Siehe Top 100 in Bücher)
Produktinformation |
Produktbeschreibungen
Kurzbeschreibung
Simulation, analysis and verification of parallel programs is a major challenge. This thesis proposes a solution which is based on Petri nets. The main contribution is the formal definition of compositional high-level Petri net semantics for B(PN)² Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems. 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 are distinguishing characteristics. In addition to the semantics definitions, all related issues are covered: The M-net model, an algebra of high-level Petri nets, is extended in such a way that all coherence and algebraic properties are still fulfilled. References which relate parts of the programs with parts of the resulting nets are formally introduced in the semantics. Implementational aspects and the integration into the PEP tool are described. Examples are given, in particular, to demonstrate how the presented approach supports verification. Finally, the definition of a high-level Petri net semantics for 'hybrid' systems which are composed of B(PN)² parts, SDL parts and B(PN)² and/or SDL specific finite automata gives evidence for the general applicability of the presented concepts.
In diesem Buch
(Mehr dazu)
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
|
Noch keine Kundenrezensionen vorhanden.
|
|||
|
Videorezensionen
|
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
|||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
