A modeling and analysis tool for discrete events systems: continuous Perti net

摘要

Autonomous and timed continuous Petri nets are defined. The autonomous model is presented as a limit case of autonomous discrete Petri nets and thus preserves most of the properties of classical Petri nets. This model has interesting properties such as marking and firing invariants, but its main interest is the construction of the evolution graph. This graph represents the behaviour of the system and contains a finite number of nodes, which allows very short simulations duration in comparison with discrete model simulations. The approximation given by the continuous model is often satisfactory, especially in the case of large markings.