Buch

---

Übersicht

---

Verlag	:	Springer Berlin
Buchreihe	:	Informatik-Fachberichte (Bd. 66)
Sprache	:	Englisch
Erschienen	:	01. 05. 1983
Seiten	:	315
Einband	:	Kartoniert
Höhe	:	244 mm
Breite	:	170 mm
Gewicht	:	567 g
ISBN	:	9783540123095
Sprache	:	Englisch

---

Inhaltsverzeichnis

---

Invited address.- Some personal views of net theory.- List of contributions.- Structural transformations giving B-equivalent PT-nets.- Equivalence notions for concurrent systems.- Milner’s communicating systems and Petri nets.- A matrix-based implementation of generalized Petri nets.- Petri nets specification of virtual ring protocols.- A note on D-continuous causal nets.- S-invariance in predicate/transition nets.- A diagram editor for line drawings with inscriptions.- Formal semantics by a combination of denotational semantics and high-level Petri nets.- Notions of computability by Petri nets.- High-level Petri nets.- Specification and verification of networks in a Petri net based language.- Construction of distributed systems from cycle-free finite automata.- A graph theoretical property for minimal deadlocks.- Petri nets with individual tokens.- Subset languages of Petri nets.- Control of flexible production systems and Petri nets.- On the notion of interface in condition/event-systems.- Behavioral equivalence of concurrent systems.- Program of the workshop.- Addresses of contributors.

Deine Buchhandlung

---