Massachusetts Inst. of Tech., Cambridge. Lab. for Information and Decision Systems, Report No. LIDS-P-1739, 1988.
Abstract: When implementing a simulation system on a digital computer, the automation of the firing process poses problems because a computer executes instructions sequentially. A simulation system based on Predicate Transition nets has been designed which has imbedded in it as choices a number of rules for handling concurrency, confusion, and token colors. These rules may represent either the actual protocols, or ways of handling some model implementation problems.
Back to the Petri Nets Bibliography