Compositional theories based on an operational semantics of contexts
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Bisimulation through probabilistic testing
Information and Computation
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Hierarchical Markovian models: symmetries and reduction
Performance Evaluation - Special issue: 6th international conference on modelling techniques and tools for computer performance evaluation
A compositional approach to performance modelling
A compositional approach to performance modelling
Theoretical Computer Science
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
The Definition of Standard ML
Multilevel Solutions for Structured Markov Chains
SIAM Journal on Matrix Analysis and Applications
Performance modelling of hierarchical cellular networks using PEPA
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Petri Nets in Performance Analysis: An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A Visual Formalism for the Composition of Stochastic Petri Nets
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
IFL '99 Selected Papers from the 11th International Workshop on Implementation of Functional Languages
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
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
Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Software performance modelling using PEPA nets
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Formal modeling and quantitative analysis of KLAIM-based mobile systems
Proceedings of the 2005 ACM symposium on Applied computing
Continuous PEPA queues: individual behaviour in continuous queueing networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Dynamic Pipeline Mapping (DPM)
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
Performance Analysis of a Software Retrieval Service
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
Performance Models For Master/Slave Parallel Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Analytical Modeling for Operating System Schedulers on NUMA Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesising PEPA nets from IODs for performance analysis
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Performance analysis of stochastic Process algebra models using stochastic simulation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A design environment for mobile applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A precedence PEPA model for performance and reliability analysis
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Load balancing in homogeneous pipeline based applications
Parallel Computing
Strongly consistent transformation of partial scenarios
ACM SIGSOFT Software Engineering Notes
SAN lite-solver: a user-friendly software tool to solve SAN models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way, the net is used to provide a structure for linking related PEPA systems. The combined modelling language naturally represents such applications as mobile code systems where the PEPA terms are used to model the program code which moves between network hosts (the places in the net). We describe, the implementation of a tool to support this modelling formalism and apply this to model a hierarchical cellular network.