Skip to main content

A Matrix Vector Transition Net Implementation | Chapter 01 | Advances in Mathematics and Computer Science Vol. 1

Aims: Classic Petri nets also known as place transition nets provide many interesting and useful features for system modeling. They are however limited by the place types that are used. A novel approach is presented in this work. A matrix vector transition net model is created and is used to model complex system behavior. This solution extends the modeling power of normal Petri nets.

Proposed Solution: A traditional Petri net is modified to create a matrix vector transition net (MVTN). The idea is to combine the ideas from normal Petri net semantics with a matrix vector approach.

Implementing the Matrix Vector Transition Net: Ordinary Petri net places are replaced with matrices or vectors. The input and output arcs must have a specific function matrix that determines firing. Firing and behavior remain conceptually and functionally similar to that of a Petri net. It is possible to interchange row and column vectors. The behavior of matrix transition nets must elicit similar behavior to that of a place transition net. Instead of normal tokens, matrix elements are used. The matrix vector type of structure increases the modeling power, abstraction capacity and the complexity of the net.

Case Study: To illustrate this work a toy case of an abstract network structure containing processing elements is used to illustrate the use of the matrix vector transition net structure.

Results and Findings: The behavior of matrix transition nets is shown to be similar in principle to that of a place transition net. However instead of tokens, matrix elements are used. It is possible to construct a symbolic marking graph or reachability graph for the system This type of structure definitely increases the modeling power, abstraction capacity and the complexity of the net. The matrix transition net could be useful for certain types of communication system problems and complex system interfacing.  Several other uses can be found for this approach in both computing and modeling.

Author  Details:

Tony Spiteri Staines
Department of Computer Information Systems, University of Malta, MSIDA MSD 2080, Malta.

Read full article: http://bp.bookpi.org/index.php/bpi/catalog/view/46/219/375-1
View Volume: https://doi.org/10.9734/bpi/amacs/v1
Labels:

Comments

Post a Comment

Popular posts from this blog

Greening Regional Airports: A Vision for Carbon Neutral Infrastructure | Chapter 12 | Contemporary Perspective on Science, Technology and Research Vol. 3

 This study provides an overview of the energy demand of a regional airport, divided into individual time horizons. The electrification of aircraft systems raises the question of whether airports will be among the largest electricity consumers in our infrastructure in the future. Sustainability and especially emission reductions are significant challenges for airports that are currently being addressed. The Clean Sky 2 project GENESIS addresses the environmental sustainability of hybrid-electric 50-passenger aircraft systems in a life cycle perspective to support the development of a technology roadmap for the transition to sustainable and competitive electric aircraft systems. This article originates from the GENESIS research and describes various options for ground power supply at a regional airport. Potential solutions for airport infrastructure with a short (2030), medium (2040), and long (2050) time horizon are proposed. In addition to the environmental and conservation benefi...
Post a Comment
Read more

There is No Standard Model of ZFC and ZFC2 | Chapter 03 | Advances in Mathematics and Computer Science Vol. 1

In this Chapter we obtain a contradictions in formal set theories under assumption that these theories have omega-models or nonstandard model with standard part. An possible generalization of Lob’s theorem is considered. Main results are: (i) ¬Con(ZF C+ ∃ M ZFC st ), (ii) ¬Con(N F+ ∃ M NF st ), (iii) ¬Con(ZF C 2 ), (iv) let k be an inaccessible cardinal then ¬Con(ZF C+ ∃ κ), (v) ¬Con(ZF C+ (V=L)), (vi) ¬Con(ZF+ (V=L)). Author   Details: Jaykov Foukzon Israel Institute of Technology, Haifa, Israel Men'kova Elena Romanovna All-Russian Research Institute for Optical and Physical Measurements, Moscow, Russia Read full article: http://bp.bookpi.org/index.php/bpi/catalog/view/46/221/408-1 View Volume: https://doi.org/10.9734/bpi/amacs/v1
Post a Comment
Read more

Study on Processing Method Influences the Effect of Cassava (Manihot esculenta) Consumption on Blood Lipid Profile in Rats | Chapter 8 | Current Research and Development in Chemistry Vol.1

Cassava is consumed in many tropical countries and is fast becoming the major raw material of many diets, especially in the bakery, brewery and pharmaceutical industries. In a study to determine the effects of various formulations of Cassava feeds on blood lipid profile in rats. Forty adult Wistar rats weighing between 120 and 150 g were divided into 4 groups of 10 rats each. The rats were acclimatized for one week; fed with different formulations of Cassava feeds adlibitum, after which the rats were allotted into groups. Group 1 was fed on Garri; group 2 on Cassava flour; group 3 on Tapioca, and the control group (group 4) on normal chow. After 4 weeks, each animal was anaesthetized by exposure to chloroform vapour and blood samples collected by cardiac puncture. Group 1 diet (Garri) significantly increased HDL-cholesterol (HDL-C) concentration and significantly decreased LDL-cholesterol (LDL-C) concentration (p<0.05) compared with the control group. In Group 2 (Cassava flour), t...
Post a Comment
Read more