This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro­ blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software ~~gineering, hardware design and its implementation, recoverability problems, nets and formal semantics; net tools. The diversity of topics on this list witnesses the fact that the researchers from very different areas presented their contributions and discussed various research problems during the workshop. This interaction of scientists looking at the area of Petri nets from very different points of view makes this series of workshops interesting and worthwi le. The volume documents the progress of the research concerning Petri nets during a one­ year time from the 2nd European Workshop held in Bad Honnef in 1981. We think that this was a substantial progress indeed. This observation is even more pleasant if one real izes that during the workshop in Varenna we have celebrated 20 years of "existence" of Petri nets (the seminal work by prof. C.A. Petri appeared precisely 20 years ago). We are very proud to present an invited address by prof. C.A. Petri in this volume.
Les mer
Under the Auspices of AFCET, AICA, GI and EATCS
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.
Les mer
Springer Book Archives
Springer Book Archives
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9783540123095
Publisert
1983-05-01
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
244 mm
Bredde
170 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet