How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too

06/04/2021
by   Heinz W. Schmidt, et al.
0

Petri nets have found widespread use among many application domains, not least due to their human-friendly graphical syntax for the composition of interacting distributed and asynchronous processes and services, based in partial-order dependencies and concurrent executions. Petri nets also come with abstract semantics, and mathematical methods for compositional synthesis, structural checks and behavioural analysis. These have led to the use of various kinds of nets for real-time, distributed and parallel programming languages, software and services systems, with a view to their interfaces and interaction protocols. These affordances make Petri nets invaluable for distributed software architecture approaches focused on components, their mutual dependencies and environment-facing interactions. Quantum computing – and in particular quantum software engineering – is in its infancy and could benefit from the accumulated insights of software architecture research and of net theory, its methods, and its applications. In this paper, we establish a connection between Petri nets and quantum systems, such that net theory and the component architecture of nets may help in the synthesis and analysis of abstract software models and their interface protocols in hybrid classical-and-quantum programming languages and services systems. We leverage some insights from net formalisms for software specification for a versatile recipe to bake quantum into extant Petri net flavours, and prove universality and compositionality of Petri nets for quantum programming.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/15/2020

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

In this paper, we propose a compositional approach to construct formal m...
research
01/11/2023

Compositional Net Semantics up to Step Net Bisimilarity

Step net bisimilarity <cit.> is a truly concurrent behavioral equivalenc...
research
03/31/2022

Software Engineering for Quantum Programming: How Far Are We?

Quantum computing is no longer only a scientific interest but is rapidly...
research
08/04/2022

Petri Nets for Concurrent Programming

Concurrent programming is used in all large and complex computer systems...
research
05/24/2013

Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving

The intention of the present study is to establish general framework for...
research
10/20/2022

Modelling and measuring complexity of traditional and ancient technologies using Petri nets

Technologies and their production systems are used by archaeologists and...

Please sign up or login with your details

Forgot password? Click here to reset