Implementing compositionality for stochastic Petri nets

DOI10.1007/S100090100065MaRDI QIDQ5953458zbMATH OpenOpenAlexWikidataFDO

Authors Simona Bernardi, S. Donatelli, A. Horváth

Publication date 9 April 2002

Published in International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s100090100065

zbMATH Keywords

stochastic well-formed nets

Mathematics Subject Classification ID

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

Recommendations

• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
• scientific article; zbMATH DE number 2087812
• scientific article; zbMATH DE number 2087801
• Introduction to stochastic Petri nets
• Integrating TwoTowers and GreatSPN through a compact net semantics

Cited in

(5)

• The ins and outs of Petri net composition
• Toward a decision support system for the clinical pathways assessment
• Parametric stochastic well-formed nets and compositional modelling
• scientific article; zbMATH DE number 5149154 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7

This page was built for publication: Implementing compositionality for stochastic Petri nets

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