Subtyping for Hierarchical, Reconfigurable Petri Nets

02/13/2018
by   Julia Padberg, et al.
0

Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfigurable, so they are supplied with their own set of rules. Moreover, global rules that can be applied in all of the net, are provided.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/16/2021

A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems

Petri Nets (PN) are a central, theoretically sound model for concurrent ...
research
12/31/2021

Structural Liveness of Immediate Observation Petri Nets

We show that the structural liveness problem for immediate observation n...
research
10/17/2019

On Concept of Creative Petri Nets

A new formalism of Petri nets, based on the adoption of the "position-ar...
research
01/29/2021

A Categorical Semantics for Hierarchical Petri Nets

We show how a particular flavor of hierarchical nets, where the firing o...
research
04/07/2019

Optimizing FIR Filter Mapping on the Morphosys Reconfigurable System

This paper proposes an optimized mapping of the FIR filter algorithm tha...
research
11/02/2021

Unfoldings and Nets of Regular Polytopes

Over a decade ago, it was shown that every edge unfolding of the Platoni...
research
07/27/2020

Unfolding cubes: nets, packings, partitions, chords

We show that every ridge unfolding of an n-cube is without self-overlap,...

Please sign up or login with your details

Forgot password? Click here to reset