Petri nets modeling and analysis using extended bag-theoretic relational algebra
Petri nets modeling and analysis using extended bag-theoretic relational algebra
复制标题
使用扩展袋理论关系代数进行 Petri 网建模和分析
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
T. Kim
中科院分区：
文献类型：
--
作者：
Y. C. Kim;T. Kim
Petri 网是用于研究反应式并发系统的强大建模工具。对网络的分析可以揭示有关建模系统行为的重要信息。虽然已经开发了各种网络分析方法，但分析的主要限制是模拟中大状态空间的爆炸。管理大状态空间的有效方法将克服这种限制。本文提出了一个使用关系数据库技术对 Petri 网进行建模和分析的框架。该框架的形式化是基于从传统的袋论关系代数延伸出来的，在该框架内，Petri网通过袋关系进行形式化，并基于这种形式关系开发了分析算法。与网络相关的属性通过用袋理论关系代数描述的查询来形式化。该框架已在使用标准 SQL 的商业关系数据库系统中实现。
Petri nets are a powerful modeling tool for studying reactive, concurrent systems. Analysis of the nets can reveal important information concerning the behavior of a modeled system. While various means for the analysis of the nets has been developed, a major limitation in the analysis, is explosion of large states space in simulation. An efficient method to manage large states space would overcome such a limitation. This paper proposes a framework for the modeling and analysis of Petri nets using relational database technologies. Formalism of the framework is based on a bag-theoretic relational algebra extended from the conventional, Within the framework, Petri nets are formalized by bag relations, and analysis algorithms are developed based on such formal relations. Properties associated with the nets are formalized by queries described in terms of the bag-theoretic relational algebra. The framework has been realized in a commercial relational database system using a standard SQL.