Sophia University 7-1 Kioi-cho, Chiyoda-ku, Tokyo, 102-8554, JAPAN;
Sophia University 7-1 Kioi-cho, Chiyoda-ku, Tokyo, 102-8554, JAPAN;
Kyusyu Sangyo University 2-3-1 Matsukadai, Higashi-ku,rnFukuoka, 813-8503,Japan;
Musashi- Institute of Technology 1-28-1 Tamazutsumi, Setagaya-ku,rnTokyo, 158-8557, Japan;
机译:具有改进的网络重写系统和活动图的可重构制造单元的Petri网络模型的快速设计和重构
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:利用用例图,Petri网和IDEF0图之间的相互关系进行有效的图解系统分析
机译:将核心方案模型和活动图转换为Petri网。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:梯形图Petri网:离散事件系统