Petri Nets and Machines of Things That Flow

08/29/2018
by   Sabah Al-Fedaghi, et al.
0

Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms. Describing a modeling notation in terms of a formal technique such as Petri nets provides a way to minimize ambiguity. Accordingly, it is imperative to develop a deep and diverse understanding of Petri nets. This paper is directed toward a new, but preliminary, exploration of the semantics of such an important tool. Specifically, the concern in this paper is with the semantics of Petri nets interpreted in a modeling language based on the notion of machines of things that flow. The semantics of several Petri net diagrams are analyzed in terms of flow of things. The results point to the viability of the approach for exploring the underlying assumptions of Petri nets.

READ FULL TEXT
research
01/29/2020

A Categorical Semantics for Guarded Petri Nets

We build on the correspondence between Petri nets and frees ymmetric str...
research
09/08/2019

The Essence of Petri Net Gluings

Many categorical frameworks have been proposed to formalize the idea of ...
research
10/14/2018

Introduction to Dialectical Nets

This paper initiates the dialectical approach to net theory. This approa...
research
05/11/2020

Elements of Petri nets and processes

We present a formalism for Petri nets based on polynomial-style finite-s...
research
05/14/2020

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)

The correctness of networks is often described in terms of the individua...
research
03/29/2021

A Web Interface for Petri Nets with Transits and Petri Games

Developing algorithms for distributed systems is an error-prone task. Fo...
research
09/03/2019

Thing/Machine-s (Thimacs) Applied to Structural Description in Software Engineering

We are pursuing a modeling methodology that views the world as a realm o...

Please sign up or login with your details

Forgot password? Click here to reset