| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746006
|
| Doc. No
|
:
|
b565955
|
| Main Entry
|
:
|
edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol.
|
| Title & Author
|
:
|
Advances in Petri nets, 1984\ edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol.
|
| Publication Statement
|
:
|
Berlin ; New York : Springer-Verlag, ©1985.
|
| Series Statement
|
:
|
Lecture notes in computer science, 188.
|
| Page. NO
|
:
|
(vii, 467 pages) : illustrations
|
| ISBN
|
:
|
354039320X
|
|
|
:
|
: 9783540393207
|
| Contents
|
:
|
PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets.
|
| Subject
|
:
|
Machine theory -- Congresses.
|
| Subject
|
:
|
Petri nets -- Congresses.
|
| Subject
|
:
|
Pétri, Réseaux de -- Congrès.
|
| LC Classification
|
:
|
QA267.E358 1985
|
| Added Entry
|
:
|
G Roucairol
|
|
|
:
|
Grzegorz Rozenberg
|
|
|
:
|
H Genrich
|