BibTeX
@MISC{Bobbio90systemmodelling,
author = {Andrea Bobbio},
title = {System Modelling With Petri Nets},
year = {1990}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Petri Nets (PN) are a graphical formalism which is gaining popularity in recent years as a tool for the representation of complex logical interactions (like synchronization, sequentiality, concurrency and conflict) among physical components or activities in a system. This notes are devoted to introduce the formalism of Petri nets with particular emphasis on the application of the methodology in the area of the performance and reliability modelling and analysis of systems. The quantitative analysis of the behaviour of systems in time requires the superposition of a stochastic timing mechanism to the classical representation of PN. Timed Petri nets and, in particular, Stochastic Petri nets (SPN) are the object of the second part of the notes. Finally, some fully developed examples enlighten peculiar aspects which di#erentiate PNs from other modelling techniques usual in reliability analysis. In few words, the goal of these notes is to show that the proposed methodology based on the PN formalism can be conveniently used as a user-friendly language to represent and evaluate complex stochastic systems.
Keyphrases
petri net second part complex logical interaction complex stochastic system classical representation recent year physical component reliability modelling developed example peculiar aspect user-friendly language graphical formalism stochastic petri net stochastic timing mechanism pn formalism timed petri net reliability analysis quantitative analysis particular emphasis
