机译:从Petri网到图转换系统
机译:Petri网和基于M-Functor的图变换系统之间局部汇合和终止的传递
机译:基于Petri网技术的带时间图转换系统的优化
机译:Petri网与基于M粘性类别之间的函子的图变换系统之间的形式关系
机译:嵌入式系统视觉模型的仿真和动画:基于图变换的Petri网方法
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:通过本地行动系统对Petri网进行建模11由Universitaire Instelling Antwerpen提供的EC TMR网络GETGRATS(图形转换系统通用理论)和Esprit工作组APPLIGRAPH的部分支持。
机译:用Flexiblemanufacturing系统和petri网控制离散事件动态系统