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.