Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/87195| Title: | Bi-directional transition nets |
| Authors: | Spiteri Staines, Tony |
| Keywords: | Proof theory Mathematics -- Periodicals Petri nets Modeling |
| Issue Date: | 2017 |
| Publisher: | AIP Publishing LLC |
| Citation: | Spiteri Staines, A. (2017). Bi-directional transition nets. 1st International Conference on Applied Mathematics and Computer Science, Rome. |
| Abstract: | Ordinary Petri nets are forward directed transition systems. Modern transition systems events and event flows are reversible. Hence modeling structures that reflect this are important. The creation of a bi-directional Petri net extends the modeling power of Petri nets. This work presents the successful implementation of a bi-directional transition net. Some toy examples in comparison to Petri nets are given showing the increased modeling power in a compacted form. The results show some interesting findings on how the expressive power of these structures has been increased. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/87195 |
| Appears in Collections: | Scholarly Works - FacICTCIS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Bi_directional_transition_nets.pdf | 816.83 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.