A framework for the efficient Petri net simulation of real-time systems

摘要

An efficient approach for the development and simulation of Petri net models of real-time systems is discussed. The approach is based on perturbation analytical techniques. Specifically, a variation of the standard clock approach, called the iterative standard clock, is used to efficiently simulate multiple experiments in a single computer run.