机译:不带冻结令牌的自由选择Petri网和双极同步系统
Ludwig-Maximilians-Universitaet, Fakultaet fuer Mathematik, Informatik und Statistik, Theresienstrasse 39/I, D-80333 Muenchen, Germany;
bipolar synchronization system; free-choice system; frozen token; petri net morphism; structurally free of blocking;
机译:智能令牌Petri网用于对具有动态变化的可重配置自动化制造系统进行建模和控制
机译:使用同步Petri网在一类无界系统上同步序列
机译:连续Petri网系统中的稳态控制参考和令牌守恒定律
机译:不带令牌的Petri网(特邀演讲)
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:移动同步陪替氏网:遍在系统中的协调编排方法