Application and Theory of Petri Nets 1994
Springer Berlin (Verlag)
978-3-540-58152-9 (ISBN)
The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets.
Automatic verification of finite-state concurrent systems.- The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks.- On the model of computation of place/transition Petri nets.- B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation.- Probabilistic validation of a Remote Procedure Call protocol.- Occurrence graphs for Interval Timed Coloured Nets.- Implementation of weighted place/transition nets based on Linear Enabling Functions.- Hierarchical High Level Petri Nets for complex system analysis.- Modeling symmetric computer architectures by SWNs.- Coloured Petri Nets extended with channels for synchronous communication.- Petri nets with marking-dependent arc cardinality: Properties and analysis.- New structural invariants for Petri nets analysis.- Time Stream Petri Nets a model for timed multimedia information.- A term representation of P/T systems.- Superposed Generalized Stochastic Petri Nets: Definition and efficient solution.- Verification of recipe-based control procedures by means of predicate/transition nets.- Towards comprehensive support for the dynamic analysis of Petri net based models.- Partial order semantics of Box expressions.- A general systematic approach to arc extensions for coloured Petri Nets.- Liveness in bounded Petri nets which are covered by T-invariants.- Modelling the work flow of a nuclear waste management program.- Data structures and algorithms for extended state space and structural level reduction of the GSPN model.- Petri net analysis using boolean manipulation.- Modelling of pilot behaviour using petri nets.- Simulation and analysis of a document storage system.- Cooperative Nets.- Well-formedness of Equal Conflict systems.- Symbolic, symmetry, and stubborn set searches.- Compositional analysis with place-bordered subnets.- On combining the stubborn set method with the sleep set method.- OR causality: Modelling and hardware implementation.
| Erscheint lt. Verlag | 1.6.1994 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XII, 592 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 1840 g |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | Algorithm analysis and problem complexity • algorithms • Artificial Intelligence • Complex Systems • Computer • Control • Hardcover, Softcover / Informatik, EDV/Informatik • Hardware • Management • Modelling • Multimedia • Networks • Petri net • Petri Nets • Semantics • Simulation • Time • verification |
| ISBN-10 | 3-540-58152-9 / 3540581529 |
| ISBN-13 | 978-3-540-58152-9 / 9783540581529 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
