𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Structure matrices for petri nets and their applications

✍ Scribed by J.L. Johnson; T. Murata


Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
763 KB
Volume
319
Category
Article
ISSN
0016-0032

No coin nor oath required. For personal study only.

✦ Synopsis


Petri nets serve as a model of computer systems which involve concurrent processes.

ConJlict and confluence are relations which can limit concurrency in many situations, while precedence between processes can completely negate any concurrency. This paper introduces several new matrices which show important relationships between transitions and places in Petri nets. These matrices are grouped into three types: conj?ict, conJluence and precedence matrices. It is also shown that the matrices help to classify nets into widely known subclasses.


πŸ“œ SIMILAR VOLUMES


Reversed fuzzy Petri nets and their appl
✍ Hesuan Hu; Zhiwu Li; Abdulrahman Al-Ahmari πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 797 KB

An alterative approach to the backward reasoning is presented. In classical reasoning, both users and developers of many expert systems are dedicated to the forward reasoning. However, in many newly arising expert systems such as various diagnosis systems, the backward reasoning is of special intere

Fluid stochastic Petri nets: Theory, app
✍ Graham Horton; Vidyadhar G. Kulkarni; David M. Nicol; Kishor S. Trivedi πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 1008 KB

In this paper we introduce a new class of stochastic Petri nets in which one or more places can hold fluid rather than discrete tokens. We define a class of fluid stochastic Petri nets in such a way that the discrete and continuous portions may affect each other. Following this definition we provide

Fuzzy timed petri net definitions, prope
✍ Zouhua Ding; H. Bunke; M. Schneider; A. Kandel πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 828 KB

We present a new fuzzy timed Petri net model. Each transition firing in our model is associated with a fuzzy number; during transition, firings tokens are removed from input and added to output places. We consider the marks changing rate in each place as constant, and our performance analysis is bas

Enhanced fuzzy temporal rules and their
✍ P. CariΓ±ena; A. BugarΓ­n; S. Fraga; S. Barro πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 321 KB πŸ‘ 1 views

In this paper, an enhanced model of fuzzy temporal knowledge bases FTKBs formed by fuzzy temporal rules is introduced, and its projection onto the formalism of fuzzy Petri Ε½ . nets FPNs is presented. The main objective is to enhance the expressiveness of the rules making up the FTKB, regarding a pre

Transitive matrices and their applicatio
✍ AndrΓ‘s Farkas; PΓ‘l RΓ³zsa; Etelka Stubnya πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 170 KB
Weighing matrices and their applications
✍ Christos Koukouvinos; Jennifer Seberry πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 493 KB

Three major applications of weighing matrices are discussed. New weighing matrices and skew weighing matrices are given for many orders 4t ~ 100. We resolve the skew-weighing matrix conjecture in the affirmative for 4t <~ 88.