Starts with a brief review of the history and the application areas considered in the literature.
The author then proceeds with introductory modeling examples, behavioral and structural …

A class of Petri nets (DSPN) in which transitions can fire after either a deterministic or a
random, exponentially distributed, firing delay is defined, and a solution technique is …

Modeling is essential to ensure the orderly design, implementation, and control of
automated and Computer Integrated Manufacturing systems. The complex interactions …

This paper introduces an efficient algorithm for calculating the time-dependent quantities
required by the numerical solution process of Deterministic and Stochastic Petri Nets …

Distributed systems present new and challenging evaluation problems which make
performance and dependability evaluation by traditional methods difficult. A coherent model …

Stochastic Petri Nets are used extensively to find performance measures for communication
protocols. This paper illustrates how equilibrium distributions for the markings of a wide …

A composition and analysis technique was developed for investigation of infinite Petri nets
with regular structure, introduced for modeling networks, clusters and computing grids, that …

IEEE has recently standardized the physical layer and the medium access mechanism for
wireless local area networks. This paper presents a performance study of the distributed …

A composition and analysis technique was developed for investigation of infinite Petri nets
with regular structure introduced for modeling networks, clusters and computing grids that …

Correctness of networking protocols represents the principal requirement of cybersecurity.
Correctness of protocols is established via the procedures of their verification. A classical …