Controller Synthesis of Time Petri Nets Using Stopwatch

Table 1

The state classes of the TPN presented at Figure 2.

𝛼0∶𝑝1+𝑝2	0≤𝑡1≤4∧2≤𝑡2≤3	𝛼1∶𝑝2+𝑝3	0≤𝑡2≤3∧2≤𝑡3	𝛼6∶𝑝4
𝛼2∶𝑝1+𝑝4	0≤𝑡1≤2	𝛼3∶𝑝3+𝑝4	0≤𝑡3∧0≤𝑡4≤1
𝛼4∶𝑝2	0≤𝑡2≤1	𝛼5∶𝑝3+𝑝4	2≤𝑡3<∞∧0≤𝑡4≤1