A Calculus of Communicating Systems
A Calculus of Communicating Systems
Methodology for LAN Modeling and Analysis Using Petri Nets Based Models
MASCOTS '94 Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Modeling and Evaluating the DQDB Protocol with Stochastic Timed Petri Nets
MASCOTS '94 Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Formal modelling and verification of the common hopping multi-channel MAC protocols
Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems
| Hi-index | 0.00 |
This paper presents a methodology for automatically obtaining abstract views of state graphs labeled with probabilities and times. An abstract view of a graph is a reduced graph obtained from a projection over a subset of states of the initial graph (observed states): the world of observed states is equivalent to the subworld of these states in the context of the initial graph on the basis of the so called notion of "first passage" An abstract view is a very important concept for modelling, verifying and evaluating points of views of the behaviour of a system. As an example of application, we consider an unidirectional data transfer protocol between a producer and a consumer.