P-不变量相关论文
基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利......
为使Petri网系统能够并行执行或模拟运行，提出了基于P-不变量的Petri网并行化方法。根据Petri网系统具有同步与并发的特点，给出基于P......
