Toggle Main Menu Toggle Search

Open Access padlockePrints

Avoiding Exponential Explosion in Petri Net Models of Control Flows

Lookup NU author(s): Dr Victor Khomenko, Professor Maciej KoutnyORCiD, Professor Alex Yakovlev

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2022.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

We look at modelling of a choice between several ‘bursts’ of concurrent actions in a Petri net. If ‘silent’ transitions are disallowed, a construction based on Cartesian product is traditionally used, resulting in an exponential explosion in the model size. We demonstrate that this exponential explosion can be avoided. We show the equivalence between this modelling problem and the problem of finding an edge clique cover of a complete multipartite graph, which gives major insights into the former problem as well as linking it to the existing results from graph theory. It turns out that the exponential number of places created by the Cartesian product construction can be improved down to polynomial (quadratic) in the worst case, and down to logarithmic in the best (non-degraded) case. For example, to express a choice between 10 pairs of concurrent transitions, the Cartesian product construction creates 1024 places, even though 6 places are sufficient. We also derive several lower and upper bounds on the numbers of places and arcs. 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. As an example, applying them to translate Burst Automata to Petri nets reduces the size of the resulting Petri net from exponential down to polynomial.


Publication metadata

Author(s): Khomenko V, Koutny M, Yakovlev A

Editor(s): L.Bernardinello, L.Petrucci

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Petri Nets

Year of Conference: 2022

Online publication date: 13/06/2022

Acceptance date: 06/03/2022

Date deposited: 14/03/2022

ISSN: 9783031066535

Publisher: Springer

URL: https://doi.org/10.1007/978-3-031-06653-5_14

DOI: 10.1007/978-3-031-06653-5_14

ePrints DOI: 10.57711/fmas-4784

Library holdings: Search Newcastle University Library for this item

ISBN: 9783031066528


Share