Petri网与基于流动物体机器语义的建模形式
软件工程
2018-10-24 v1
摘要
Petri网是一种成熟的图形化形式化方法，用于对系统行为进行建模与分析。Petri网价值的一个重要考量在于其被用于描述建模形式化方法的语法与语义。借助Petri网等形式化技术来描述建模记号，可提供最小化歧义的途径。因此，深入且多元地理解Petri网势在必行。本文针对这一重要工具的语义展开一项新颖但初步的探索。具体而言，本文关注基于流动物体（things that flow）机器概念的建模语言中所解释的Petri网语义。若干Petri网图的语义从物体流动的角度加以分析。结果表明该方法对于探索Petri网的潜在假设具有可行性。
引用
@article{arxiv.1810.09652,
title = {Petri Nets and Machines of Things That Flow},
author = {Sabah Al-Fedaghi and Dana Shbeeb},
journal= {arXiv preprint arXiv:1810.09652},
year = {2018}
}
备注
Intelligent Systems Conference (IntelliSys) 2018 6-7 September 2018 London, UK