Scribd
Upload
19 views8 pages

Understanding Petri Nets in Modeling

The document introduces formal modeling, specifically focusing on Petri nets as a graphical tool for assessing computer systems' performance. It discusses the advantages of Petri nets over analytical models and their role in representing concurrent systems. The document also highlights the historical development of Petri nets since their introduction in 1966.

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
19 views8 pages

Understanding Petri Nets in Modeling

The document introduces formal modeling, specifically focusing on Petri nets as a graphical tool for assessing computer systems' performance. It discusses the advantages of Petri nets over analytical models and their role in representing concurrent systems. The document also highlights the historical development of Petri nets since their introduction in 1966.

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

Introduction to formal
modeling.

1
Overview
• Here, we will
understand about the
“formal modeling”.

2
Formal modeling
• Petri nets PNs provide
graphical tool and
notation method.
• Include arrival rate and
service rate.
• Individual state
information.
• Contention and
concurrency.

3
Formal modeling
• Petri Nets have place in
computer systems
performance
assessment.
• Between analytical
queuing theory and
computer simulation.

4
Formal modeling
• System state more
complete than analytical
models.
• But not as simulations.
• Have fundamental
theory but act like
simulations.
• Single entities,
movement and affect
effect of the state of the
entire system.

5
Formal modeling
• Petri Nets was
introduced in 1966.
• It describes concurrent
systems.
• Followed by continuous
improvements.
• Timing of transitions.
• Priority of transitions.

6
Formal modeling
• Types to Token.
• Colors depicting.
• Analysis tools and
modelling aid.

7
Summary
• Here, we understood
about the “Testing for
Significance of
Regression”.
• Credits: Paul Fortier
book.

You might also like