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

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

Ethnopharmacological Survey among Traditional Medicine Practitioners in Abidjan (Côte d'Ivoire) for the Management of Pathologies such as Malaria, ENT Diseases, Diarrhea, Typhoid Fever and Anemia | Chapter 05 | New Horizons in Medicine and Medical Research Vol. 8

 Traditional Medicine Practitioners (TMPs) of Côte d'Ivoire are familiar with the therapeutic herbs. Medicinal plants have been shown to be useful in the treatment of common diseases such as malaria (KROA, 2004) and diabetes (N'GUESSAN et al, 2013) in several studies and scientific study. In the Abidjan District, the current policy is to integrate traditional medicine and pharmacopoeia into the national health system in order to improve population health coverage, particularly in the management of commonly encountered diseases such as malaria, ENT diseases, diarrhoea, typhoid fever, and anaemia. This research aims to increase the use of traditional medicine and pharmacopoeia in the national health system. Over the course of three months, fifty (50) PMTs in the District of Abidjan participated in this study. Plant therapists accounted for 30 of the 50 PMTs polled at the end of the study, or 60%. Traditional medicine centres use 61 types of medicinal plants from 36 famili...
Post a Comment
Read more