A matrix transition oriented net for modeling distributed complex computer and communication systems

Abstract

This work introduces a new type of a Petri net. This is called a Matrix Transition Net. The Matrix Transition net deals with the modeling of modern distributed complex computer and communication systems. The major features are that for the inputs and outputs of this net, matrices are used instead of places as in standard place transition Petri nets. This increases the modeling power and expressivity of the net. The structures presented are capable of representing complex systems and their dynamic modeling concepts. The main features of a Matrix Transition net are explained using several examples and definitions. A toy case study of a small grid sequential system illustrates the potential use of this modeling notation. Some results are discussed.