...
机译:Petri网扩展,用于信息系统的正式建模
Univ Novi Sad, Fac Sci, Dept Math & Informat, Novi Sad 21000, Serbia;
Univ Novi Sad, Fac Sci, Dept Math & Informat, Novi Sad 21000, Serbia;
Univ Novi Sad, Fac Sci, Dept Math & Informat, Novi Sad 21000, Serbia;
Univ Novi Sad, Fac Sci, Dept Math & Informat, Novi Sad 21000, Serbia;
Petri Net; information system formal modelling; dynamic modelling; object-oriented Petri Net extension;
机译:BPRN:基于Petri-Net和工作流模型扩展的业务流程中资源消耗的正式模型
机译:有色Petri网:用于并行系统形式化建模和验证的图形语言
机译:基于Petri网表示的嵌入式系统建模和形式验证
机译:一种系统和正式的方法,可以重用彩色Petri网模型的柔性制造系统的规范
机译:高级Petri网的形式化建模和分析技术。
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:BPRN:基于Petri-Net和工作流模型扩展的业务流程中资源消耗的正式模型