Implementing compositionality for stochastic Petri nets

DOI10.1007/s100090100065zbMath0988.68119OpenAlexW157005112WikidataQ126581176 ScholiaQ126581176MaRDI QIDQ5953458

No author found.

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)

Related Items (2)

The ins and outs of Petri net composition ⋮ Toward a decision support system for the clinical pathways assessment

Uses Software

• GreatSPN
• GreatSPN 1.7

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