City University of New York;
机译:Petri Nets的应用和理论以及其他并发模型:Petri Nets 2017精选论文的特刊
机译:Petri Nets和其他并发模型的应用和理论:Petri Nets 2015精选论文的特刊前言
机译:有色Petri网:用于并行系统形式化建模和验证的图形语言
机译:动态Petri网:用于传感器网络和分布式并发系统的新建模技术
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:纠正:Petri网的交易和其他并发XV模型