Parametric stochastic well-formed nets and compositional modelling

DOI10.1007/3-540-44988-4_5MaRDI QIDQ2766551zbMATH OpenFDO

Authors P. Ballarini, S. Donatelli, G. Franceschinis

Publication date 17 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44988-4_5

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2087812
• Implementing compositionality for stochastic Petri nets
• Applications and Theory of Petri Nets 2005
• Asynchronous composition of high level Petri nets: a quantitative approach
• Composing abstractions of coloured Petri nets

Cited in

(4)

• The ins and outs of Petri net composition
• Brief Introduction to Probabilistic Compositional Models
• scientific article; zbMATH DE number 3883643 (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: Parametric stochastic well-formed nets and compositional modelling

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