Research on Enterprise Railway Plan System Model Based on Timed Petri Nets
Zhen Wei · Computer Technology and Development · 2007
Because the work places are a little disorder,and the types of work plans are very complicated in enterprise own railway,lots of factors are difficult to be described from the point of view of mathematics model,it's most significative to find an effective modeling method to describe system.Petri nets are easy to describe the system about concurrency,competition and synchronization,and fully satisfy the requirement of system modeling,verification and realization.Describes the enterprise railway plan system model using timed Petri nets,and proposes a way to figure out the conflict.