Advances in Petri Nets 1984

P. Alanche, K. Benzakour, F. Dollé, P. Gillet, P. Rodrigues (auth.), G. Rozenberg (eds.)3540152040, 9783540152040

Table of contents :
PSI: A petri net based simulator for flexible manufacturing systems….Pages 1-14
Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system….Pages 15-31
Concurrency axioms and D-continuous posets….Pages 32-47
Frozen tokens and D-continuity: A study in relating system properties to process properties….Pages 48-61
Modelling scheduling problems with timed petri nets….Pages 62-82
Infinite behaviour and fairness in petri nets….Pages 83-100
Petri net based models for the specification and validation of protocols….Pages 101-121
A note on observable occurrence nets….Pages 122-138
A lattice theoretic view of K-density….Pages 139-153
Fair serializability of iterated transactions using fifo-nets….Pages 154-168
Csp-programs as nets with individual tokens….Pages 169-196
Design and programming of interfaces for monetic applications using petri nets….Pages 197-214
Towards reachability trees for high-level petri nets….Pages 215-233
The residue of vector sets with applications to decidability problems in petri nets….Pages 234-258
The design of a program package for an introductory petri net course….Pages 259-266
On communication protocol modelling and design….Pages 267-287
On structural properties of generalized processes….Pages 288-306
Stepwise construction of non-sequential software systems using a net-based specification language….Pages 307-330
Liveness and duality in marked-graph-like predicate/transition nets….Pages 331-352
Semantics of concurrent systems: A modular fixed-point trace approach….Pages 353-375
The reachability problem for VAS….Pages 376-391
K-density, N-density, and finiteness properties….Pages 392-412
A net model of a local area network protocol….Pages 413-437
In praise of free choice nets….Pages 438-454
Computation of flows for unary-predicates/transitions-nets….Pages 455-467