Petri nets; concurrency control; formal specification; reachability analysis; concurrent system analysis; formal specification; graph-based model; reachability analysis; relative time Petri nets; state space exploration;
机译:非线性定时连续Petri网对随机Petri网的流化
机译:带时间窗的陪替氏网:与经典陪替氏网的比较
机译:工具TINA-构建Petri网和Time Petri网的抽象状态空间
机译:相对时间Petri网的提案
机译:定时Petri网的状态空间的分布式生成。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:关于相对时间petri网的提议