This paper provides an overview of improved facilities for performance analysis using
coloured Petri nets. Coloured Petri nets is a formal method that is well suited for modeling …

We present a stochastic Petri net-based approach to modeling and analysis of ad hoc
wireless networks. We illustrate how our model can exploit the characteristics of the system …

This paper presents a general framework for modeling distributed computing environments
for performance analysis by means of Timed Hierarchical Coloured Petri Nets. The …

We present a state space method for Petri nets having a time concept based on a global
clock and associating time stamps to tokens. The method is based on equivalence on states …

Abstract Coloured Petri Nets (CPNs) are a graphically oriented modelling language for
concurrent systems based on Petri Nets and the functional programming language Standard …

Mobile ad hoc networks are becoming very attractive and useful in many kinds of
communication and networking applications. Due to the advantage of numerical analysis …

This paper deals with modelling and analysis of the Transmission Control Protocol (TCP).
The TCP protocol is the transport protocol used on the Internet. We present a generic …

The design of appropriate communication architectures for complex Systems-on-Chip (SoC)
is a challenging task. One promising alternative to solve these problems are Networks-on …

This chapter proposes a simplified methodology that incorporates Markov analysis and
Reliability Block Diagram methodologies to model and analyze the availability of a typical …

Сети Петри (СП) известная формальная модель, используемая для качественного
анализа поведения дискретных динамических систем. Стохастические сети Петри …