Parallel Programs as Petri Nets
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Bernd Grahlmann
- Duits
- Paperback
- 9783831117994
- 02 april 2001
- 304 pagina's
Samenvatting
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 the programs with parts of the resulting nets are introduced 3. Its implementation in the PEP tool is described 4. Examples (including verification) are given 5. An extension to hybrid systems is shown
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- de
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 02 april 2001
- Aantal pagina's
- 304
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Bernd Grahlmann
- Hoofduitgeverij
- Books On Demand
Overige kenmerken
- Extra groot lettertype
- Nee
- Product breedte
- 178 mm
- Product hoogte
- 16 mm
- Product lengte
- 254 mm
- Studieboek
- Ja
- Verpakking breedte
- 178 mm
- Verpakking hoogte
- 24 mm
- Verpakking lengte
- 254 mm
- Verpakkingsgewicht
- 531 g
EAN
- EAN
- 9783831117994
Je vindt dit artikel in
- Taal
- Duits
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.