Timed Petri nets definitions, properties, and applications

WM Zuberek - Microelectronics Reliability, 1991 - Elsevier
In timed Petri nets, the transitions fire in “real-time”, ie, there is a (deterministic or random)
firing time associated with each transition, the tokens are removed from input places at the …

On Petri nets with deterministic and exponentially distributed firing times

MA Marsan, G Chiola - Advances in Petri Nets 1987 7, 1987 - Springer
A class of Petri nets (DSPN) in which transitions can fire after either a deterministic or a
random, exponentially distributed, firing delay is defined, and a solution technique is …

Continuous and hybrid Petri nets

H Alla, R David - Journal of Circuits, Systems, and Computers, 1998 - World Scientific
Petri nets are widely used to model discrete event dynamic systems (computer systems,
manufacturing systems, communication systems…). When a PN contains a large number of …

Stochastic Petri nets: an elementary introduction

MA Marsan - Advances in Petri Nets 1989 9, 1990 - Springer
Petri nets in which random firing delays are associated with transitions whose firing is an
atomic operation are known under the name “stochastic Petri nets”. These models are …

Transient analysis of deterministic and stochastic Petri nets

H Choi, VG Kulkarni, KS Trivedi - Application and Theory of Petri Nets …, 1993 - Springer
Deterministic and stochastic Petri nets (DSPNs) are recognized as a useful modeling
technique because of their capability to represent constant delays which appear in many …

TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets

R German, C Kelling, A Zimmermann, G Hommel - Performance Evaluation, 1995 - Elsevier
This paper describes TimeNET (Timed Net Evaluation Tool), a software package for the
modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing …

Stochastic Petri nets: Properties, applications and tools

G Florin, C Fraize, S Natkin - Microelectronics Reliability, 1991 - Elsevier
This paper presents a survey on stochastic Petri nets. A stochastic Petri net is first and
foremost a Petri net, whose places represent resources and transitions represent operations …

Analysis of stochastic Petri nets by the method of supplementary variables

R German, C Lindemann - Performance evaluation, 1994 - Elsevier
This paper presents a unified numerical solution framework for stochastic Petri nets in which
transition firing is immediate, exponentially distributed, or generally distributed. The …

[图书][B] Timed Petri nets: Theory and application

J Wang - 2012 - books.google.com
Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Modeling and evaluation of stochastic Petri nets with TimeNET 4.1

A Zimmermann - 6th International ICST Conference on …, 2012 - ieeexplore.ieee.org
The paper presents a major update of the software tool TimeNET, a package for the
modeling and performance evaluation of standard and colored stochastic Petri nets. Among …