Toggle Main Menu Toggle Search

Open Access padlockePrints

Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows

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.

Publication metadata

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


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