Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/87196
Title: | An introduction to bi-directional transition network modeling |
Authors: | Spiteri Staines, Tony |
Keywords: | Signs and symbols SysML (Computer science) System analysis -- Case studies Petri nets |
Issue Date: | 2017 |
Publisher: | North Atlantic University Union |
Citation: | Spiteri Staines, A. (2017). An introduction to bi-directional transition network modeling. International Journal of Computers, 2, 80-87 |
Abstract: | Ordinary Petri nets are classifiable as forward transition systems. This implies that by default, once a transition has fired it cannot be reversed. System representation and modeling is an interesting area used for modeling modern computer systems. Because of changes in technology systems contain diverse forms of behavior. In requirements engineering and requirements elicitation, system modelers can benefit from new approaches and new forms of system representation that build upon previous work. This work presents a new approach and view where it is possible to actually reverse a transition that has taken place. This idea is presented in a Bi-Directional or Bi-Directed transition net. The bi-directional net introduces the concept of reversing the normal firing order. In normal Petri nets once the firing occurs this is irreversible. In the bidirectional net it is possible to reverse the transition. In this work the motivation and ideas behind the BiDirectional transition are explained and compared with normal Petri Nets. Some toy examples are included to support the ideas of the bi-directional net. From the findings and examples it is clearly indicated that the BiDirectional Net can be used to create models that can invert the transition firing order and reverse their behavior. Even though the Bi-Directional Net might look simpler in reality it is more complex. The results discuss some of the main properties and issues behind the bi-directional net. This paper is divided into the following sections: i) introduction to the area, ii) related work about transition systems and Petri Nets, iii) motivation and problem definition, iv) proposed solution, v) implementation, vi) examples, vii) results and findings and viii) conclusions. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/87196 |
ISSN: | 2367-8895 |
Appears in Collections: | Scholarly Works - FacICTCIS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
An_introduction_to_bi_directional_transition_network_modeling.pdf Restricted Access | 677.22 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.