摘要
Petri网是一种形式化的建模方法 ,它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类Petri网在系统建模中的不足和优势,在原有Petri网的基础上提出一种增广Petri网,即带抑止弧和使能弧的着色Petri网,这种新型的Petri网具有很强的模拟描述能力,同时可以对具有优先权性质的系统进行建模,因此对该新型扩展Petri网的研究具有十分重要的意义。
Petri net is a formal modeling method which is very suitable to describe the processes or order, the concurrence, conflict and synchroniza- tion parts in the system. Summarizes merit and demerit of some kinds of Petri net, and proposes a new kind of augmented Petri net based on the archetypal Petri net, which is called a colored Petri net with inhibitor arcs and enabling arcs. The new augmented Petri net has strong ability in simulation and description, at the same time it can model systems which has the nature of priority. It is of great impor- tance to study this new augmented Petri net.
出处
《现代计算机》
2015年第7期13-16,共4页
Modern Computer
