Paper Info
Title
Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds
Abstract
We use operational analysis techniques to partiallycharacterize the behaviour of timed Petri nets undervery weak assumptions on their timing semantics.New operational inequalities are derived that are typicalof the presence of synchronization and that weretherefore not considered in queueing network models.We show an interesting application of the operationallaws to the statement and the efficient solution of problemsrelated to the estimation of performance boundsinsensitive to the...
Year
DOI
Venue
1993
10.1007/978-3-642-79917-4_11
PNPM
Keywords
Field
DocType
petri nets,stochastic processes,synchronization,probability distribution,linear programming,computer applications
Synchronization,Petri net,Computer science,Stochastic process,Theoretical computer science,Process architecture,Probability distribution,Computer Applications,Linear programming,Computation
Conference
Citations 
PageRank 
References 
27
1.87
7
Authors
5
Name
Order
Citations
PageRank
G. Chiola178764.60
C. Anglano2986.75
J. Campos3272.21
J. M. Colom472761.57
M. Silva5688.27