Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic Relations
Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic Relations
通过非循环关系的可重构分解自动综合分布式系统中的行为模型
批准号：
26330083
负责人：
MIYAMOTO Toshiyuki
金额：
$2.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Modified Rules for Modular Reachability Analysis of Petri Nets for Multiagent Systems
多智能体系统 Petri 网模块化可达性分析的修改规则
多智能体系统 Petri 网模块化可达性分析的修改规则
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Takahiro Okumura, Yoshihiro Oyama, 木下聖基，宮本俊幸, 渡部卓雄, T. Miyamoto]
通讯作者：
T. Miyamoto
Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram
从通信图合成帕累托有效的可理解状态机
从通信图合成帕累托有效的可理解状态机
DOI：
10.1587/transinf.2016fop0002
发表时间：
2017
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
[今井朝貴, 増原英彦, 青谷知幸, T. Miyamoto]
通讯作者：
T. Miyamoto
CSCB Tools
CSCB 工具
CSCB 工具
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[T. Kinoshita, T. Miyamoto]
通讯作者：
T. Miyamoto
二つのコミュニケーション図からなるコレオグラフィの実現可能性の検討－仕様間に競合がある場合の考察
检查由两个通信图组成的编排的可行性 - 规范之间存在冲突时的考虑
检查由两个通信图组成的编排的可行性 - 规范之间存在冲突时的考虑
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Takahiro Okumura, Yoshihiro Oyama, 木下聖基，宮本俊幸]
通讯作者：
木下聖基，宮本俊幸
共 7 条
Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed Systems
-
批准号：23500045
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.16万
-
财政年份：2011
-
负责人：MIYAMOTO Toshiyuki
-
依托单位：
Distributed Algorithm for Share Transfer in a Secure Distributed Storage System
-
批准号：19700060
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.32万
-
财政年份：2007
-
负责人：MIYAMOTO Toshiyuki
-
依托单位：
海外基金