Advances in Petri Nets 1991
Springer Berlin (Verlag)
978-3-540-54398-5 (ISBN)
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.
Erscheint lt. Verlag | 28.8.1991 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | VIII, 576 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 170 x 250 mm |
Gewicht | 952 g |
Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | Algorithm analysis and problem complexity • Coloured Petrinets • Complexity • Concurrency • Gefärbte Petrinetze • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Komplexität (Kybern.) • Komplexität(Math.) • Komplexität_(Math.) • Net design • Netzentwurf • Petri net • Petri Net Models • Petrinetz • Petri-Netz • Petrinetze • Petrinetz-Modelle • Semantics • Verteilte Systeme • Verteilte Verarbeitung |
ISBN-10 | 3-540-54398-8 / 3540543988 |
ISBN-13 | 978-3-540-54398-5 / 9783540543985 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich