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

2025-10-17