摘要
针对时间限制Ｐｅｔｒｉ网（ＴＣＰＮ）采用的变迁弱激活规则和基于ＴＣＰＮ的动态标记，引入变迁的调度延时决策变量和决策空间概念刻画ＴＣＰＮ的状态可达可调度规律．这些概念及其算法揭示了ＴＣＰＮ网的并发分布式动态调度特征．特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题，描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律．
By introducing concepts of the scheduling decision variable and decision space and on the basis of the dynamic marking for TCPN,this paper presents a calculation method for firable and schedulable decision domain of the transitions,which lead to a target mark.Besides,a transition will last for a period of time,so it is not certain that its firing can be completed successfully even if the transition has been fired.Thus the reaching possibility of an expected target may also depend on the failure or extermination of other transitions.Therefore,those failing transitions should be considered when we deal with schedulability analysis and system synthesis of TCPN.TCPN with weak firing mode can be used to manage dynamic scheduling of concurrent and distributed real time control systems with deadline and releasable resources.
出处
《自动化学报》
EI
CSCD
北大核心
1999年第4期543-547,共5页
Acta Automatica Sinica
基金
国家教季博士点基金
山西省自然科学基金
关键词
PETRI网
变迁激活弱规则
调度
控制系统
Petri net,timing constraint Petri net, weak firing mode,parallel scheduling reaehability.
