A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net-Reference-Cited by-同舟云学术

A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net

Author:

Adobbati Federica¹^ORCID,Soylu Gorkem Kilinc²^ORCID,Aubel Adrian Puerto³

Affiliation:

1. Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milano, Italy

2. Department of Computer Science, Technical University of Darmstadt, Darmstadt, Germany

3. Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Groningen, AG, The Netherlands

Funder

Hessian Ministry of Higher Education Research Science and the Arts

FWF project P33548

Italian Ministero dellUniversit e della Ricerca

German Federal Ministry of Education and Research

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

General Engineering,General Materials Science,General Computer Science

Link

Reference44 articles.

5. On the decidability of non interference over unbounded Petri nets;best;Proc 8th SecCo,2010

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01