Research to Simulation Capability of Timed Petri Nets
WU Zhe-hui · Microcomputer applications · 2009
Petri net is a powerful modeling tool,but prototype Petri net is limited by it's simulation capability,extended Petri nets can elevation Petri nets' simulation capability.Timed Petri nets are very important ones which are used in many Concurrent systems,so it is important to study in simulation capability of timed Petri nets.Firstly,This article illustrates that timed Petri nets can satisfy zero testing theory,and then proved that the timed Petri nets have the same simulation capability with Turing machine by modeling random access machine.At last,a classic computer problem is proposed for example.