Modeling discrete event systems with state-dependent deterministic service times

DOI10.1007/BF01439851MaRDI QIDQ686337zbMATH OpenFDO

Authors Christoph Lindemann, Reinhard German

Publication date 13 October 1993

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

zbMATH Keywords

stochastic Petri netsperformance and dependability modelingsoftware systems for computer- aided performance evaluation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
• scientific article; zbMATH DE number 1786473
• scientific article; zbMATH DE number 749809
• Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions
• scientific article; zbMATH DE number 1131474

Cites work

• scientific article; zbMATH DE number 43082 (Why is no real title available?)
• scientific article; zbMATH DE number 510833 (Why is no real title available?)
• An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
• On Evaluating the Performability of Degradable Computing Systems
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
• The completion time of a job on multimode systems

Cited in

(3)

• scientific article; zbMATH DE number 764884 (Why is no real title available?)
• Modeling and quantitative analysis of discrete event systems: A statecharts based approach
• An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models

Describes a project that uses

Uses Software

• DSPNexpress
• SPNP

This page was built for publication: Modeling discrete event systems with state-dependent deterministic service times

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