Three-phase Timed-transition Petri Nets With The Weak Firing Rules and Their Application to Concurrent Systems

• 弱引发三态加时变迁Petri网及其在并发系统中应用