Buch, Englisch, Band 674, 462 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1450 g
Buch, Englisch, Band 674, 462 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1450 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-56689-2
Verlag: Springer Berlin Heidelberg
The main aims of the series of volumes "Advances in Petri
Nets" are:
- to present to the "outside" scientific community a fair
picture of recent advances in the area of Petri nets, and
- to encourage those interested in the applications and the
theory of concurrent systems to take a closer look at Petri
nets and then join the group of researchers working in this
fascinating and challenging area.
This volume is based on the proceedings of the 12th
International Conference on Applications and Theory of Petri
Nets, held in Gjern, Denmark, in June 1991. It contains 18
selected and revised papers covering all aspects of recent
Petri net research.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
- Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
- Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung
- Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
Weitere Infos & Material
Replacement of open interface subnets and stable state transformation equivalence.- Bounded self-stabilizing Petri nets.- Generative families of positive invariants in Coloured nets sub-classes.- Autonomous and timed continuous Petri nets.- The Devnet: A Petri net for discrete event simulation.- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets.- A concept of hierarchical Petri nets with building blocks.- Petri net tool overview 1992.- The minimal coverability graph for Petri nets.- Distributed implementation of CCS.- Saturation conditions for Stochastic Petri Nets.- Marking optimization in timed event graphs.- Parameterized reachability trees for Predicate/Transition nets.- Iterative decomposition and aggregation of Stochastic marked graph Petri nets.- Constraints and extensions in a Calculus of EN systems.- Comparability orders and measurement.- Deterministic systems of sequential processes: A class of structured Petri nets.- Compositional state space generation.
