The right timing : reflections on the modeling and analysis of time

K.M. Hee, van, N. Sidorova

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
2 Downloads (Pure)

Abstract

In this paper we discuss several approaches to time in Petri nets. If time is considered for performance analysis, probability distributions for choices should be included into the model and thus we need Petri nets with time and stochastics. In literature, most attention is paid to models where the time is expressed by delaying transitions and for the stochastic case to continuous time models with exponential enabling distributions, known by its software tools as GSPN. Here we focus on discrete models where the time is expressed by delaying tokens and the probability distributions are discrete, because this model class has some advantages. We show how model checking methods can be applied for the non-stochastic case. For the stochastic case we show how Markov techniques can be used. We also consider structural analysis techniques, which do not need the state space.
Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)
EditorsJ.M. Colom, J. Desel
Place of PublicationBerlin
PublisherSpringer
Pages1-20
ISBN (Print)978-3-642-38696-1
DOIs
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
Volume7927
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'The right timing : reflections on the modeling and analysis of time'. Together they form a unique fingerprint.

Cite this