Buch, Englisch, Band 524, 576 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1800 g
Buch, Englisch, Band 524, 576 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1800 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-54398-5
Verlag: Springer Berlin Heidelberg
The main idea behind the series of volumes Advances in Petri
Nets is to present to the general computer science community
recent results which are the most representative and
significant for the development of the area. Thepapers for
the volumes are drawn mainly from the annual International
Conferences on Applications and Theory of Petri Nets.
Selected papers from the latest conference are independently
refereed, and revised and extended as necessary. Some
further papers submitted directly to the editor are
included.
Advances in Petri Nets 1991 covers the 11th International
Conference on Applications and Theory of Petri Nets held in
Paris, France in June 1991. The volume contains the
Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and
W. Reisig, with over 4000 entries.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Computeranwendungen in der Mathematik
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
- Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Angewandte Mathematik, Mathematische Modelle
- Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
Weitere Infos & Material
Delays in synchronized elementary net systems.- Proving temporal properties of Petri nets.- The complexity of testing the equivalence of transition sequences.- Use of reentrant nets in modular analysis of colored nets.- On abstractions of nets.- Semantics, composition and net properties of algebraic high-level nets.- Top-down synthesis of live and bounded free choice nets.- Hood nets.- Distributable nets.- Computer supported design of kanban controlled production.- Optimal simulations, nets and reachability graphs.- An integrated software development methodology based on hierarchical colored Petri nets.- On net systems generated by process foldings.- On liveness preservation by composition of nets via a set of places.- Software implementation of petri nets and compilation of rule-based systems.- Bibliography of Petri nets 1990.
