Free choice simulation of Petri nets

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI:10.1109/PNPM.1991.238796

H. Linde

引用次数: 1

Abstract

Structure theory deals with connections between the behaviour of a system and the structure of the corresponding net. Structure theory is well developed for free choice nets. In the paper it is shown that with a notion of simulation close to bisimulation, it is impossible to simulate all confusion free nets with free choice nets.<>

查看原文本刊更多论文

Petri网的自由选择仿真

结构理论研究系统的行为和相应网络的结构之间的联系。自由选择网的结构理论已经很成熟。本文证明了在近似于双仿真的概念下，不可能用自由选择网来模拟所有的无混淆网。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91

自引率

0.00%

发文量