Browse by author
Lookup NU author(s): Dr Victor Khomenko, Professor Maciej KoutnyORCiD, Professor Alex Yakovlev
This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).
We look at the construction of compact Petri net models corresponding to process algebra expressions supporting sequential, choice, and parallel compositions. If `silent' transitions are disallowed, a construction based on Cartesian product is traditionally used to construct places in the target Petri net, resulting in an exponential explosion in the net size. We demonstrate that this exponential explosion can be avoided, by developing a link between this construction problem and the problem of finding an edge clique cover of a graph that is guaranteed to be complement-reducible (i.e. a cograph). It turns out that the exponential number of places created by the Cartesian product construction can be reduced down to polynomial (quadratic) even in the worst case, and to logarithmic in the best (non-degraded) case. As these results affect the `core' modelling techniques based on Petri nets, eliminating a source of an exponential explosion, we hope they will have applications in Petri net modelling and translations of various formalisms to Petri nets.
Author(s): Khomenko V, Koutny M, Yakovlev A
Editor(s): Klin,B;Lasota,S;Muscholl,A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 33rd International Conference on Concurrency Theory (CONCUR)
Year of Conference: 2022
Pages: 8:1-8:16
Online publication date: 12/09/2022
Acceptance date: 25/06/2022
Date deposited: 05/07/2022
ISSN: 1868-8969
Publisher: Dagstuhl
URL: https://doi.org/10.4230/LIPIcs.CONCUR.2022.8
DOI: 10.4230/LIPIcs.CONCUR.2022.8
Library holdings: Search Newcastle University Library for this item
Series Title: Leibniz International Proceedings in Informatics (LIPIcs)
ISBN: 9783959772464
