...
机译:使用面向对象的Petri网对并发和分布式应用程序进行建模,原型设计和验证
Cybernetics; Distributed applications; Rapid prototyping; Object-oriented computing;
机译:使用面向对象的Petri网对并发和分布式应用程序进行建模,原型设计和验证
机译:Petri Nets和其他并发模型的应用和理论:Petri Nets 2015精选论文的特刊前言
机译:随机对象Petri网(SOPNS)及其在制造系统可靠性建模中的应用
机译:使用可执行的高级Petri网模型对分布式数据库系统进行原型设计和验证
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用面向对象的petri网建模,原型化和验证并发和分布式应用程序
机译:使用petri网建立和验证并发ada程序