ISGMP-ILE Du Saulcy, INRIA LGIPM, Metz, France;
机译:利用区域理论设计带电和最大允许Petri网控制器
机译:使用几何区域的时间Petri网的CTL模型检查
机译:Petri网是dioids:非确定性网络理论的新代数基础
机译:利用区域理论对Petri网控制器进行代数和几何表征
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:在有限维C * -algebras上的参数估计理论的差分几何方面
机译:通过区域理论设计有界Petri网的可逆性强制多项式复杂性的监督者
机译:代数理论中的petri网:范畴理论方法