scientific article; zbMATH DE number 1515849

MaRDI QIDQ4508929zbMATH OpenFDO

Authors Olaf Kluge

Publication date 10 October 2000

zbMATH Keywords

formal specification languagemessage sequence chartsstochastic Petri nets

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1760052
• Generalized timed stochastic Petri nets
• Probabilistic time Petri nets
• Stochastic petri nets with timed and immediate transitions
• Performance bounds for stochastic timed Petri nets
• Time processes for time Petri nets
• scientific article; zbMATH DE number 749809
• Discrete Time Stochastic Petri Nets
• Timed processes of timed Petri nets

Cited in

(5)

• Formal methods for analysis of discrete systems using a specification language
• Exploring the properties of MSC documents by translating them into Petri nets
• Quantifying the Discord: Order Discrepancies in Message Sequence Charts
• scientific article; zbMATH DE number 1760052 (Why is no real title available?)
• Modelling a railway crossing with message sequence charts and Petri nets

This page was built for publication:

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