关键词：Petri网模型；连续参数；电网
摘 要：The Petri Net models that we analyse in the following consider the time as a quantifiable and continuous parameter whereas in an untimed Petri Net model the time is taken into account only via the partial order relation between the transitions that are executed in the plant. As presented in Chapter 16 there are two main time extensions of Petri Nets (PNs) namely Time Petri Nets [21] and Timed Petri Nets [22].