Universitaet Rostock, Institut fuer Informatik, 18051 Rostock, Germany;
机译:生成和使用面向对象Petri网的状态空间
机译:工具TINA-构建Petri网和Time Petri网的抽象状态空间
机译:标记图Petri网状态空间的刻画
机译:生成培养净状态空间
机译:具有大状态空间的Petri网模型的性能评估。
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:在培养网的状态空间分析中,在培养基中使用美化术和SPC