From strong to exact Petri net computers

Document Type

Article

Publication Date

1-1-2022

Abstract

Petri net paradigm of computing is concerned discussing basic types of Petri net computers and their relations. We developed a technique of parametric specification of Petri nets, built of a few connected components which are repeated depending on a parameter or a set of parameters, and composition of software to generate automatically the corresponding models in a vivid graphical form. We construct explicitly a Petri net that is a strong computer of double exponent after R.J. Lipton. Its nondeterministic computation is represented by a Petri net reachability graph to which a successful branch belongs. Then we minimise and transform the net to obtain twice smaller construct than the original one. Moreover, the obtained net possesses such a marvellous property that addingto it four priority arcs makes it an exact (deterministic) computer having a single firable sequence only. Same as the Lipton’s net, the minimized net allows the proof that the Petri net reachability problem is exponential in space. Besides, it represents an example when simple transformations allow guessing the successful branch of a nondeterministic computation. The practical significance of the approach in applications consists in a state-of-art heuristic technique of solving some NP problems in polynomial time.

Identifier

85118607275 (Scopus)

Publication Title

International Journal of Parallel Emergent and Distributed Systems

External Full Text Location

https://doi.org/10.1080/17445760.2021.1991340

e-ISSN

17445779

ISSN

17445760

First Page

167

Last Page

186

Issue

2

Volume

37

This document is currently not available here.

Share

COinS