Petri nets; Modelling; Simulation; Model checking; Stochastic analysis; Editor;
机译:PetriDotNet建模和分析工具的工业应用
机译:通过可扩展标记语言和扩展的面向对象Petri网自动生成用于空间跟踪,遥测和控制系统的任务可靠性仿真模型
机译:XRL / Woflan:组织间工作流的基于XML / Petri-Net的语言的验证和可扩展性
机译:PetriDotNet 1.5:可扩展的Petri Net编辑器和用于教育和研究的分析器
机译:基于可扩展编辑器的识字编程环境。
机译:编辑选择:Nav1.5 N末端结构域与α1-syntrophin的结合增加了人类Kir2.1Kir2.2和Nav1.5通道的膜密度
机译:PetriDotNet 1.5:用于教育和研究的可扩展Petri网编辑器和分析器