Labelled transition systems; Petri nets; System synthesis; Regions; Separation problems; Label splitting;
机译:高级Petri网中控制和数据流的分离:将双流网转换为对象Petri网
机译:抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
机译:抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
机译:通过解决分离问题来释放LTS的培养净合成
机译:氧化铁纳米晶体的合成,表征及在磁选中去除砷和铀的应用。
机译:鼠伤寒沙门氏菌中的色氨酸生物合成:菌株LT2和LT7之间的遗传差异在trpB中的位置。
机译:使用Petri网建模横向间距分隔以确保机载分隔
机译:具有局部性的petri网的合成