Communicating sequential processes
Communicating sequential processes
Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Communication and concurrency
Finite representations of CCS and TCSP programs by automata and Petri nets
Finite representations of CCS and TCSP programs by automata and Petri nets
On Representing CCS Programs by Finite Petri Nets
MFCS '88 Proceedings of the Mathematical Foundations of Computer Science 1988
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Operational Petri net semantics for CCSP
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
An Overview and Synthesis on Timed Process Algebras
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Describing Queueing Systems with MPA
Describing Queueing Systems with MPA
MPA: a Stochastic Process Algebra
MPA: a Stochastic Process Algebra
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
WOSP '04 Proceedings of the 4th international workshop on Software and performance
MISQ: a UML-based analytical modeling methodology for optimizing web service composition
BSN '05 Proceedings of the IEEE EEE05 international workshop on Business services networks
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
A congruence relation for sPBC
Formal Methods in System Design
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
Structural analysis for stochastic process algebra models
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Model-Driven performance analysis of UML design models based on stochastic process algebra
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Generating a Petri net from a CSP specification: A semantics-based method
Advances in Engineering Software
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
| Hi-index | 0.00 |
We define a stochastic Petri net (SPN) semantics for stochastic process algebras (SPAs), a recently introduced formalism that offers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: concurrency and retrievability, as defined by Olderog (1987, 1991) for untimed net semantics, and Markov equivalence for the stochastic aspects.