Combining Free choice and Time in Petri Nets

Sundararaman Akshay; Loïc Hélouët; Ramchandra Phawade

doi:10.1016/j.jlamp.2018.11.006

第三条Dans Une Revue 程序设计中的逻辑和代数方法杂志 Anneée:2020年

Petri网中自由选择与时间的结合

(1)，(2)，（3）

1
2
三

Sundararaman Akshay公司

功能：奥特尔
人员ID:915602
ORCID代码：0000-0002-2471-5997

印度理工学院孟买校区

洛伊克·赫鲁特

功能：Auteur通讯员
人员ID:830540

连接ez-vous浇注接触器l'auteur

大型移动和分布式系统的监管

拉姆昌德拉·帕瓦德

功能：奥特尔
人员ID:1039441

IIT达尔瓦德

Résumé

时间Petri网（TPN）是Petri网的一种经典扩展，其时间约束附加在转换上，对于这种转换，大多数验证问题都是不可判定的。我们在具有多重启用转换的强语义下考虑TPN。我们重点研究了无界TPN的一个结构子类，其中底层的未命名网络是自由选择的，并证明了它在多启用语义下的时间设置中具有良好的属性。特别是，我们证明了可执行性（选择的转换是否可以触发）和终止性（网络是否具有非终止运行）的问题对于该类来说是可以决定的。接下来，我们考虑保护扩展和保护收缩下的鲁棒性问题，即即使系统是在具有不精确时间度量的体系结构上实现的，给定的属性是否保持不变。对于具有多启用语义的无界自由选择TPN，我们证明了在保护扩展和收缩下可扩展性和终止性的鲁棒性的可判定性。

Mots clés公司

Petri网稳健性时间自由选择

与葡萄园

Théorie et langage formel[法语]

菲奇尔校长

Lamp.pdf（587.17 Ko）

起源：菲奇尔斯制片人par l’（les）auteur（s）

洛伊克·海洛伊特以下为：Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-01931728

Soumis le:jeudi 2018-21:25:23年11月22日

Dernière修改le:vendredi 24 mars 2023-14:53:08

长期档案：samedi 23 février 2019-16:19:50

日期和版本

hal-01931728，版本1 (22-11-2018)

标识符

HAL Id： hal-01931728，版本1
内政部： 2016年10月10日/j.jlamp.2018.11.006

Citer公司

Sundararaman Akshay、Loíc Hélouét、Ramchandra Phawade。结合Petri网中的自由选择和时间。程序设计中的逻辑和代数方法杂志，2020年，第1-36页。⟨10.1016/j.jlamp.2018.11.006⟩。⟨hal-01931728⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

UNIV-RENNES1公司中国科学院印度 INSA-RENES公司 IRISA公司中央SUPELEC INRIA2公司 UR1-数学STIC UR1-UFR-ISTIC UNIV-RENNES公司 UR1-毫米-毫米

81 磋商

153 交易费用