Buch, Englisch, Band 625, 256 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 411 g
Buch, Englisch, Band 625, 256 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 411 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-55767-8
Verlag: Springer Berlin Heidelberg
Petri nets are a well-known model for parallel systems, used
for both applications and theoretical studies. They can be
used for specification, modelling, and analysis, and offer a
graphical representation and a clear view of concurrency.
For the design of large systems, modular construction is
indispensible, and considerable effort has been spent on
studying themodular construction of Petri nets.
This book studies the modular construction of nets, and in
particular the top-down design of nets by action refinement.
Suitable behavior descriptions are presented and special
care is taken to justify these descriptions by showing that
theyare necessary under reasonable specification
requirements. In particular, itis shown that partial-order
semantics is necessary to support action refinement.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Funktionale, Logische, Parallele und Visuelle Programmierung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
Weitere Infos & Material
Petri nets and their semantics.- Parallel composition and deadlocking.- Behaviour preserving refinement of places and transitions.- Action refinement and interval words.- Action refinement and bisimulation.- Partial order semantics for nets with capacities.- Concluding remarks.
