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

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

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统；在并发意义下研究其动态行为及其特性。

A kind of three phase timed transition Petri nets with the week firing rules, which are presented in this paper, are able to model and analyze the concurrent systems with deterministically timing constraints and conflict structures; The dynamic behaviours of the nets are discussed under the concurrent machine, these research results are applied to verify the logic characteristics and to optimize the resource allocation of finit resource scheduling for the concurrent systems.