Author of the publication

The Timed (Coloured) Petri Net Formalism: Position Paper

, , , , and . Workshop on Formalisms, Principles, and State-of-the-Art, volume 14 of Band 26, Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), Erlangen, Germany, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds, , , , and . Proceedings of the 5th International Workshop on Petri Nets and Performance Models, page 128-137. Toulouse, France, IEEE-Computer Society Press, (October 1993)On Petri Nets with Deterministic and Exponetially Distributed Firing Times, and . Advances in Petri Nets 1987, volume 266 of Lecture Notes in Computer Science, page 132--145. Springer-Verlag, Berlin, (1987)On Petri Nets with Stochastic Timing, , , , , and . Proceedings of the International Workshop on Timed Petri Nets, page 80--87. Torino, IEEE Computer Society Press, (1985)Properties and Performance Bounds for Timed Marked Graphs, , , and . IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 39 (5): 386-401 (May 1992)Operational Analysis of Timed Petri Nets, , , and . Proceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93), Roma, Italy, (September 1993)Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector, , and . IEEE Transactions on Software Engineering, 17 (2): 117-125 (February 1991)Annotated Bibliography on Stochastic Petri Nets, , , , and . Performance Evaluation of Parallel and Distributed Systems: Solution Methods, volume 105 of Tract, Centrum voor Wiskunde en Informatica, Amsterdam, (1994)Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds, , , , and . Performance Evaluation of Parallel and Distributed Systems: Solution Methods, volume 106 of Tract, Centrum voor Wiskunde en Informatica, Amsterdam, (1994)On well-formed coloured nets and their symbolic reachability graph, , , and . Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, page 387-411. Paris, (June 1990)Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks, , and . IEEE Transactions on Automatic Control, 36 (12): 1368-1382 (December 1991)