5th International Workshop on Petri Nets and Performance Models: Proceedings, October 19-22, 1993, Toulouse, France
Centre national de la recherche scientifique (France)
IEEE Computer Society Press, Jan 1, 1993 - Machine theory - 300 pages
Proceedings of the Fifth International Workshop on Petri Nets and Performance Models held in Toulouse, France in October 1993. Contributed papers discuss extended models of queueing petri nets and non-Markovian models. No index. Acidic paper. Annotation copyright Book News, Inc. Portland, Or.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A Formalism for the Combined Qualitative
Definition of the Model Stochastic Timed WellFormed Coloured Nets
26 other sections not shown
aggregate algorithm analysis application approach architecture basic behaviour bounds buffer Chiola color Coloured Petri Nets complex computation condition conflict consider corresponding CTMC decomposition defined definition denoted dependent derived deterministic transition DSPN enabled transition equations equivalent example exponentially distributed Figure finite firing point flit formalism function given GSPN models hierarchical HSWNs IEEE immediate transitions importance sampling initial marking input place instant iterative linear marked graphs Markov chain matrix method multiset node normalization constant number of tokens obtained OLTP output parameters Performance Models precedence graph probability problem Proc processors product form queueing networks queueing places reachability graph relation represents S-invariant server set of places simulation sition solution space specified static subclasses stochastic Petri nets stochastic process structural submodel subnet subsystem symbolic synchronous SynPN techniques Theorem throughput tion tran transition tj transitive closure UPC algorithms