摘要
时间约束Ｐｅｔｒｉ网（ＴＣＰＮ）是Ｐｅｔｒｉ网的一种扩展形式，是迄今为止对时间约束描述能力较强的网之一。文中给出了建立制造自动化系统时间约束Ｐｅｔｒｉ网模型的一般性步骤，以及基于时间约束Ｐｅｔｒｉ网的可调度分析算法，并以制造自动化系统的应用实例，具体说明了可调度分析算法的应用。
The Timing Constraint Petri Nets(TCPN) is the extended Petri Nets,and is one of the strongest Petri Nets which is described as the ti min g constrainst.In this paper,we present the steps which set up the TCPN model of the automated manufacturing system and the schedulability algorithm based on TCPN.And the example of the automated manufacturing system specifies the application of the schedulability algorithm.
出处
《桂林电子工业学院学报》
1999年第4期68-72,共5页
Journal of Guilin Institute of Electronic Technology
