LSV, CNRS Ecole Normale Superieure de Cachan 94235 CACHAN, 61 Avenue du President Wilson, Prance;
LSV, CNRS Ecole Normale Superieure de Cachan 94235 CACHAN, 61 Avenue du President Wilson, Prance;
Institut fuer Informatik Universitaet Muenchen Oettingenstraße 67 D-80538 Muenchen, Germany;
modal language specification and refinement; modal petri net; weak determinacy; asynchronous composition; infinite state system;
机译:基于反应模型的合成有色Petri网
机译:使用开放Petri网的同步和异步交互的模块化编码
机译:异步转换系统和Petri网的同构和双仿真
机译:模态I / O-Petri网的异步组件系统规范
机译:组成分层时间Petri网的验证方法。
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:模态petri网的细化和异步组合