研究论文

开放式访问

Petri网的偏序行为和结构

作者:

约格德塞尔作者信息和声明

计算的形式方面,体积2,问题1

页123-138

https://doi.org/10.1007/BF01888220

出版:1990年3月1日出版历史

PDF格式电子阅读器

摘要

本文认为，偏序语义可用于证明Petri网理论中的一些重要结果。我们表明，大多数Commoner和Hack的自由选择网结构理论都可以用偏序行为来表述和证明。新的证明比旧的证明要短得多（可以说更清晰）；他们还将（安全的）自由选择网的结果推广到（有界的）扩展自由选择网。

工具书类

工具书类

[1]

Petri网理论中的最佳E.和Devillers R.顺序和并发行为TCS（牵引力控制系统）。1987 55 1 87-136

数字图书馆

[2]

Best，E.和Fernández，C.：非连续过程。一个Petri网视图《Springer理论计算机科学专著》，第13卷，1988年。

[3]

Best，E.和Thiagarajan，P.S.：活的和安全的Petri网的一些类。在并发和网络，K.Voss、H.J.Genrich和G.Rozenberg（编辑），第71–94页，Springer-Verlag出版社，1987年。

[4]

Commoner，F.：Petri网中的死锁。报告，Applied Data Inc.，CA-7206-2311（1972）。

[5]

Desel，J.：Stellen/Transitionen系统中的同步文章摘要。Diplorabeit Arbeitspapiere der GMD第3411988号。

[6]

Döpp K.Zum Hack's chen Wohlformungssatz für自由选择-PetrinetzeEIK公司1983 19 1–2 3-15

[7]

Esparza，J.和Silva，M.：电路、手柄、桥梁和网架，第十届国际Petri网应用与理论大会波恩，第134-153页，1989年。

[8]

Goltz，U.和Reisig，W.：加权同步距离。在Informatik Fachberichte 52：Petri网的应用和理论第289-300页，施普林格-弗拉格出版社，1982年。

[9]

Goltz U.和Reisig W.Petri网的非序列行为信息和控制1983 57 2–3 125-147

[10]

哈克，M.：生产模式的Petri网分析TR-94，MIT-MAC，1972年。

[11]

哈克，M.：MAC-TR-94修正计算结构注释17，MIT-MAC，1974年。

[12]

Lu，W.M.和Merceron，A.：有井双极同步方案与无冻结代币的实时和安全自由选择网之间的等效性，第五届欧洲Petri网应用和理论研讨会《奥胡斯》，第216-232页，1984年。

[13]

Memmi，G.和Roucairol，G.:网络理论中的线性代数LNCS 84，第213–220页，施普林格出版社，1980年。

[14]

Pratt V.部分阶并发的建模国际并行处理杂志1986 15 1 33-71

数字图书馆

[15]

Thiagarajan P.S.和Voss K.重新审视自由选择网信息和控制1984 61 2 85-113

引用人

Polyvyany A公司拉罗莎·M欧阳C特尔·霍夫斯泰德A(2015)解联：一种分析并发系统的新方法计算的形式方面2007年10月10日/00165-014-0329-427:5-6(753-788)在线发布日期：2015年11月1日
https://dl.acm.org/doi/10.1007/s00165-014-0329-4
纳拉亚南SMcIlraith S公司拉斯纳D德鲁尔D艾扬格A(2002)web服务的模拟、验证和自动组合第十一届万维网国际会议记录10.1145/511446.511457(77-88)在线发布日期：2002年5月7日
https://dl.acm.org/doi/10.1145/511446.511457
最佳E切尔卡索娃L德塞尔J(1992)自由选择网中家乡州的组成生成计算的形式方面2007年10月10日/BF012114754:6(572-581)在线发布日期：1992年11月1日
https://dl.acm.org/doi/10.1007/BF01211475

索引术语

Petri网的偏序行为和结构
1. 软件及其工程
  1. 软件组织和属性
    1. 软件系统结构
      1. 软件系统模型
        Petri网
2. 计算理论

索引项已通过自动分类分配给内容。

建议

时间Petri网与时间流Petri网的非等价性
1999年PNPM：第八届Petri网和性能模型国际研讨会会议记录

梅林的时间Petri网是时间流Petri网的特例。在本文中，我们证明了这两个模型之间不存在时间等价性。我们首先将这一结果推广到时间自动机的非等价性，并。。。
从Petri网到彩色Petri网：基于网络的建模和仿真形式的教程介绍
WSC’19：冬季模拟会议记录

Petri网是一种广泛研究的数学形式主义，是一种用于系统建模的图形符号。Petri网为建模并发、通信、同步和资源共享约束提供了基础，这些约束是许多。。。
时间与Petri网

评论

信息和贡献者

问询处

发布于

封面图像计算的形式方面

计算的形式方面第2卷第1期

1990年3月

395页

国际标准编号：0934-5043

EISSN公司：1433-299倍

©BCS 1990。

出版商

施普林格Verlag

柏林，海德堡

出版历史

出版：1990年3月1日

认可的：1989年12月15日

收到：1989年3月15日

在FAC中发布体积2,问题1

作者标记

限定符

研究文章

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

三
引文总数
查看引文
52
总下载次数

下载次数（过去12个月）32
下载次数（最近6周）14

反映截至2024年9月20日的下载量

其他指标

查看作者指标

引文

引用人

Polyvyany A公司拉罗莎·M欧阳C特尔·霍夫斯泰德A(2015)解联：一种分析并发系统的新方法计算的形式方面2007年10月10日/00165-014-0329-427:5-6(753-788)在线发布日期：2015年11月1日
https://dl.acm.org/doi/10.1007/s00165-014-0329-4
纳拉亚南SMcIlraith S公司拉斯纳D德鲁尔D艾扬格A(2002)web服务的模拟、验证和自动组合第十一届万维网国际会议记录10.1145/511446.511457(77-88)在线发布日期：2002年5月7日
https://dl.acm.org/doi/10.1145/511446.511457
最佳E切尔卡索娃L德塞尔J(1992)自由选择网中家乡州的组成生成计算的形式方面2007年10月10日/BF012114754:6(572-581)在线发布日期：1992年11月1日
https://dl.acm.org/doi/10.1007/BF01211475

视图选项

查看选项

PDF格式

以PDF文件的形式查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此文章

媒体

数字

其他

桌子

查看问题目录