×
托马斯·胡贾萨；Jean-Marc·Delosme；阿利克斯·穆尼尔-科尔登

活等冲突Petri网的可逆性。 （英语） Zbl 1364.68287号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：施普林格（ISBN 978-3-319-19487-5/pbk；978-3-316-19488-2/电子书）。计算机科学讲义9115，234-253（2015）。
概要：如果Petri网的初始标记是一个本垒标记，一个可以从任何可达标记到达的标记，则该标记是可逆的。此属性在人造系统中是基本的，因为它只允许系统使用内部操作返回到其初始状态。{}良好形成的自由选择网和普通自由选择网的可逆性的充要条件已经是已知的。与同构无连接网一样，这些网构成了相等冲突网的子类。在这个更大的类别中，可逆性性质还没有被很好地理解。{}本文通过以较弱的形式扩展一个适用于无选择子类和自由选择子类的已知条件，首次刻画了所有活等冲突系统的可逆性。我们还表明，此条件与equal-conflict类密切相关，不适用于其他几个类。
关于整个系列，请参见[Zbl 1312.68006号].

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

可逆性；本地标记；活泼；加权Petri网；特性描述；相等冲突；无接缝的；无选择的；自由选择
PDF格式BibTeX公司 XML格式引用
\textit{T.Hujsa}等人，Lect。注释计算。科学。9115234-253（2015；Zbl 1364.68287）
全文： 内政部 哈尔

参考文献：

[1] 荒木，T。；Kasami，T.，关于Petri网可达集强连通性的可判定问题，理论计算机科学，4，1，99-119（1977）·Zbl 0362.68095号 ·doi:10.1016/0304-3975（77）90059-7
[2] 巴考伊，K。；库夫勒，J-M；Klai，K。；Ciardo，G。；Darondeau，P.，《关于petri网中活性和无死锁的等价性，petri网的应用和理论》，2005，90-107（2005），海德堡：斯普林格，海德伯格·Zbl 1128.68058号 ·doi:10.1007/11494744_7
[3] 贝斯特，E。；Darondeau，P。；克拉克，E。；Virbitskaite，I。；Voronkov，A.，Petri网可分配性，《系统信息学展望》，1-18（2012），海德堡：施普林格出版社·Zbl 1336.68175号 ·doi:10.1007/978-3-642-29709-0_1
[4] de Frutos Escrig，D.，Johnen，C.：住宅空间财产的可决定性。LRI奥赛中心巴黎大学南部技术代表LRI-503（1989年）
[5] 戴塞尔，J。；Esparza，J.，《自由选择Petri网》，《剑桥理论计算机科学丛书》（1995），纽约：剑桥大学出版社，纽约·Zbl 0836.68074号 ·doi:10.1017/CBO9780511526558
[6] 哈达德，S。；Mairesse，J。；Nguyen，HT，《产品形态Petri网的合成与分析》，《信息学基础》，第122、1-2、147-172页（2013）·Zbl 1301.68188号
[7] Hujsa，T。；Delosme，J-M；穆尼尔·科登，A。；Ciardo，G。；Kindler，E.，关于行为良好的加权无选择系统的可逆性，Petri网和并发的应用与理论，334-353（2014），海德堡：施普林格，海德堡·兹比尔1410.68251 ·数字对象标识代码：10.1007/978-3-319-07734-5_18
[8] EA Lee；Messerschmitt，DG，同步数据流，IEEE会议录，75，9，1235-1245（1987）·doi:10.1109/PROC.1987.13876
[9] 洛佩斯·格拉奥，J-P；科罗姆，J-M；西特祖，C。；Silva Suárez，M。；van Schuppen，JH，离散事件动态系统控制的结构方法——资源分配问题案例，离散事件系统控制，257-278（2013），海德堡：斯普林格·Zbl 1304.93060号 ·doi:10.1007/978-1-4471-4276-813
[10] 梅米，G。；鲁卡罗尔，G。；Brauer，W.，《网络理论中的线性代数，网络理论与应用》，213-223（1980），海德堡：斯普林格出版社·文件编号：10.1007/3-540-10001-6_24
[11] Murata，T.，《Petri网：属性、分析和应用》，IEEE学报，77，4，541-580（1989）·数字对象标识代码：10.1109/5.24143
[12] 雷卡德，L。；特鲁尔，E。；Silva，M。；比林顿，J。；Reisig，W.，SC*ECS:一类模块化和分层协作系统，Petri网的应用和理论，1996，440-459（1996），海德堡：施普林格·Zbl 1418.68153号 ·doi:10.1007/3-540-61363-324
[13] Sifakis，J。；Winkowski，J.，《petri网的结构属性》，《计算机科学的数学基础》，474-483（1978），海德堡：施普林格出版社·兹伯利0381.6056
[14] 特鲁尔，E。；Chrzastowski-Wachtel，P。；科隆，JM；Silva，M。；Jensen，K.，《关于加权T系统、Petri网的应用和理论》1992，348-367（1992），海德堡：Springer，Heidelberg·doi:10.1007/3-540-55676-1_20
[15] 特鲁尔，E。；科隆，JM；Silva，M.，无选择Petri网：具有批量服务和到达的确定性并发系统模型，IEEE系统汇刊，人与控制论，A部分，27，1，73-83（1997）·doi:10.1109/3468.553226
[16] Teruel，E。；席尔瓦，M。；Marsan，MA，《平等冲突系统中的生存与母国》，Petri网的应用与理论1993415-432（1993），海德堡：施普林格，海德堡·doi:10.1007/3-540-56863-8_59
[17] 特鲁尔，E。；Silva，M.，平等冲突系统的结构理论，理论计算机科学，153，1-2，271-300（1996）·Zbl 0872.68132号 ·doi:10.1016/0304-3975（95）00124-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。