Advances in Petri Nets 1984 edited by G. Rozenberg.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Rozenberg, G. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985.
Edition:	1st ed. 1985.
Series:	Lecture Notes in Computer Science, 188 Springer eBook Collection.
Subjects:	Software engineering. Computer communication systems. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of 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.

Similar Items