桂林电子工业学院学报2006，Vol.26Issue(3)：181-186,6.
赋时Petri网的一种符号分析算法
Symbolic analysis algorithm for timed place petri nets
摘要
关键词
赋时位置Petri网/有序二叉决策图/符号算法/可达集分类
信息技术与安全科学引用本文复制引用
熊太平,古天龙..赋时Petri网的一种符号分析算法[J].桂林电子工业学院学报,2006,26(3):181-186,6.基金项目
广西自然科学基金(0448072) （0448072）
