Advances in Petri nets 1985
Author(s)
Bibliographic Information
Advances in Petri nets 1985
(Lecture notes in computer science, 222)
Springer-Verlag, c1986
- : gw
- : us
Available at / 59 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||22286024737
-
University of Tsukuba Library, Library on Library and Information Science
: Germany007.08:L-49:222881000470
-
No Libraries matched.
- Remove all filters.
Note
"Covers the 6th European Workshop on Applications and Theory of Petri Nets held in Espoo, Finland in June 1985"--Pref.
Includes bibliographies
Description and Table of Contents
Table of Contents
- The signing of a contract - a tree-structured application modelled with petri net building blocks.- Checking properties of nets using transformations.- Petri nets and algebraic calculi of processes.- Fair controls and their realization.- Beta processes of C/E systems.- Synchronic distances in C/E systems.- Process periods and system reconstruction.- Guidelines on using net analysis techniques with large specifications.- Application of an extension of petri nets to modelization of control and production processes.- Making nets abstract and structured.- Petri net tools.- Projections of CE-systems.- Synchronic structure.- Safe states in Banker like resource allocation Problems.- Coordination technology and Petri nets.- Pascal semantics by a combination of denotational semantics and high-level petri nets.- On the invariants of coloured Petri Nets.- A logical formalism for the study of the finite behaviour of Petri nets.- Determination of a poset by its co-relation.- Some equivalence notions for concurrent systems. An overview.- Towards a comprehensive office model integrating information and resources.- Non-linear invariants for coloured Petri nets with interdependent tokens
- application to the proof of parallel programs.- Protocol analysis using Numerical Petri Nets.- Petri nets, morphisms and compositionality.- M-timed Petri nets, priorities, preemptions, and performance evaluation of systems.
by "Nielsen BookData"