Spreading nets: a uniform approach to unfoldings

G. Michele Michele Pinna; Eric Fabre

doi:10.1016/j.jlamp.2020.100526

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

展开网：展开的统一方法

(1)，(2, 3, 4)

1
2
三
4

G.米歇尔·米歇尔·平纳

功能：奥特尔
人员ID:1007027

卡利亚里大学

埃里克·法布雷

功能：奥特尔
人员ID:170693
伊达尔：埃里克纤维
ORCID代码：0000-0001-9008-8234
ID参考号：103579648

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

雷恩大学

Inria Rennes–布列塔尼亚特兰蒂斯

Résumé

本文致力于研究传播网的概念。传播网是一种（安全的）Petri网，其中每个地方都用一些信息进行注释，这些信息来自合适的信息域，关于如何标记此类地方。扩展网概括了用于表示安全网的非顺序行为的各种网络，如展开、合并过程或网格过程。根据所选的信息域，网络的扩展可以产生更紧凑（部分展开）的网络，表示网络的非顺序行为。特别是在扩展网络中，不仅可以合并冲突的运行，还可以部分地重新折叠时间，因为扩展网络允许时间循环。

Mots clés公司

多锁网络网络的展开撒网

与葡萄园

Théorie et langage formel[法语] données算法与结构[cs.DS] 并行计算、分配和分配[cs.DC]

菲奇尔校长

jlamp-paper-comple-rev2.pdf（652.66 Ko）

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

埃里克·法布雷 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-03130461

Soumis le:mercredi 3 février 2021-15:45:11

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

日期和版本

hal-03130461，版本1 (03-02-2021)

身份证明人

HAL标识： hal-03130461，版本1
内政部： 2016年10月10日/j.jlamp.2020.100526

Citer公司

G.米歇尔·米歇尔·平纳（G.Michele Michele Pinna）、埃里克·法布雷（Eric Fabre）。撒网：展开的统一方法。程序设计中的逻辑和代数方法杂志2020年，第112页，第1-33页。⟨10.1016/j.jlamp.2020.100526⟩.⟨哈尔-03130461⟩

出口商

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

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

39 磋商

104 交易费用