计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
24期
96-99
,共4页
时间Petri网%扩展时间戳状态类%可实施性
時間Petri網%擴展時間戳狀態類%可實施性
시간Petri망%확전시간착상태류%가실시성
提出一种基于全局时间的时间Petri网状态类构造方法--扩展时间戳状态类方法.该方法通过添加变迁的同步使能信息到时间戳状态类,并修改可实施条件和实施规则,解决了时间戳状态类方法中同步使能变迁的可实施性问题.
提齣一種基于全跼時間的時間Petri網狀態類構造方法--擴展時間戳狀態類方法.該方法通過添加變遷的同步使能信息到時間戳狀態類,併脩改可實施條件和實施規則,解決瞭時間戳狀態類方法中同步使能變遷的可實施性問題.
제출일충기우전국시간적시간Petri망상태류구조방법--확전시간착상태류방법.해방법통과첨가변천적동보사능신식도시간착상태류,병수개가실시조건화실시규칙,해결료시간착상태류방법중동보사능변천적가실시성문제.
