Petri net modelling and performability evaluation with TimeNET 3. 0

DOI10.1007/3-540-46429-8_14MaRDI QIDQ2729010zbMATH OpenFDO

Authors Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel

Publication date 18 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46429-8_14

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Protocol performance analysis using a timed extension for an object oriented Petri net language
• Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
• scientific article; zbMATH DE number 3980502
• scientific article; zbMATH DE number 4074793
• Generalized M-Timed Petri Nets And Performance Evaluation Of Computer Systems
• Performance analysis using Petri nets
• The expressive power of time Petri nets
• Performance evaluation of concurrent systems using Petri nets

Cited in

(10)

• Performance analysis using Petri nets
• Performance evaluation in stochastic process algebra dtsdPBC
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• A Petri net based design engine for manufacturing systems
• Fluid model checking of timed properties
• TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
• Performance Analysis of Dynamic Priority Shifting
• Modelling and evaluation of time aspects in business processes
• Performance evaluation of Petri nets centralized implementation. The execution time controller
• Applications and Theory of Petri Nets 2004

Describes a project that uses

Uses Software

• SPNP
• TimeNET
• GreatSPN 1.7
• DSPNexpress

This page was built for publication: Petri net modelling and performability evaluation with TimeNET 3. 0

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729010)