Petri nets; Computational modeling; Protocols; Time-varying systems; Time-domain analysis; Object oriented modeling; Solid modeling;
机译:学习Petri网及其在非线性系统控制中的应用
机译:MC3:用于生化网络的稳态模型和约束一致性检查器
机译:MC3:用于生化网络的稳态模型和约束一致性检查器
机译:Systemc TLM2-Catrety Peterency Checker使用Petri网
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:流体生存工具:混合Petri网的模型检查器