Modeling and analysis of sequential processes that cooperate through buffers

Deterministically synchronized sequential processes (DSSP) are a subclass of Petri nets, well suited for the methodical construction of models of concurrent systems where several agents cooperate through asynchronous message passing, In this paper, DSSP are presented, illustrating their usability in manufacturing systems. They are compared to other more restrictive subclasses of Petri nets used for similar purposes. In spite of being more expressive, DSSP still enjoy many strong analytical results, some of which are derived and illustrated in the paper