机译:与有界可燃过渡序列相对应的Petri网可达性空间的线性表征及其对具有非循环,拟活性和强可逆过程的过程资源网的结构分析的意义
School of Industrial Systems Engineering, Georgia Institute of Technology, spyros@isye.gatech.edu;
Petri net reachability analysis; liveness verification; process-resource nets; reversibility verification; structural analysis;
机译:具有非循环,拟实时,可序列化和可逆过程子网的过程资源网的活动性和可逆性的充要条件
机译:具有非循环,拟实时,可序列化和可逆过程子网的过程资源网的活动性和可逆性的充要条件
机译:查找允许在Petri网中过度过渡的合法射击序列
机译:对应于界长可见转变序列的培养净可达性空间的线性表征及其对共循环,准活跃和强烈可逆的过程资源网结构分析的影响
机译:Petri网可达性分析的非循环变换技术。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:用数学规划技术查找培养网可达性问题的射击序列的方法
机译:公平petri网与过程环的结构诱导。