Scribd
Upload
13 views10 pages

Understanding Petri Net Notations

The document provides an overview of basic notations related to Petri nets, including concepts such as duals, inverses, and multigraphs. It explains how transitions and places can be interchanged and how multiple arcs can represent relationships in a Petri net. Additionally, it describes the state of a Petri net in terms of token cardinality and its representation as vectors.

Uploaded by

missnazuko043
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
13 views10 pages

Understanding Petri Net Notations

The document provides an overview of basic notations related to Petri nets, including concepts such as duals, inverses, and multigraphs. It explains how transitions and places can be interchanged and how multiple arcs can represent relationships in a Petri net. Additionally, it describes the state of a Petri net in terms of token cardinality and its representation as vectors.

Uploaded by

missnazuko043
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd

Modeling and Simulation

Basic notation-

1
Overview
• Here, we will
understand about the
“Basic notation”.

2
Basic notation-

Petri Net Dual


• Petri net model also has
dual.
• In dual of petri,
transitions are changed
to places and places to
transitions.
• The input becomes
output function and
output becomes output
function.

3
Basic notation-

Petri Net Inverse


• A petri net model is also
defined for inverse.
• Places and transitions
are kept same.
• Whereas, input
functions switches to
output functions.

4
Basic notation-
Petri Net Inverse Representation

5
Basic notation-

Petri Net Multigraphs


• A petri net model is also
defined for Multigraphs.
• It implies there could be
several arcs between a
single place and a
transition.
• Can be represented as:
• Multiple arc as thick arc
with numbers inside.
• A bold arc with number
attached to it.

6
Basic notation-

Basic Petri Net Multigraphs Representation

7
Basic notation-

Petri Net State


• A petri net also has a
state defined by the
cardinality if tokens.
• Represented as
function, .

• can be defined as
vectors.

8
Basic notation-
Petri Net Multigraphs
• Where.

• Place marking function


and vector relation:

• Petri net structure:

• It represents state of
petri net at time t.

9
Summary
• Here, we understood
about the “Basic
Notaions”.
• Credits: Paul Fortier
book.

10

You might also like