• 已选条件：
  • × сети петри
 全选  【符合条件的数据共：3条】

1 Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification [期刊论文]

来源：Труды Института системного программирования РАН , 2018

作者:I. A. Lomazova, V. O. Ermakova

关键词:мультиагентные системы;верификация;...

使用许可:Unknown

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

2 Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents [期刊论文]

来源：Труды Института системного программирования РАН , 2018

作者:A. A. Mitsyuk, I. A. Lomazova, R. A. Nesterov

关键词:сети петри;мультиагентные системы;...

使用许可:Unknown

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

3 ONBOARD COMPUTATIONAL FACILITY IN TERMS OF KNOWLEDGEBASE MANAGEMENT SYSTEMS [期刊论文]

来源：Statistika i Èkonomika , 2016

作者:Vasiliy M. Trembach

关键词:бортовой вы числительный комплекс;система управления базами знаний;...

使用许可:Unknown

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]