Transforming Dual Flow Nets into Object Petri Nets
Farwer, Berndt and Varea, Mauricio (2005) Transforming Dual Flow Nets into Object Petri Nets. In, International Workshop on Concurrency, Specification & Programming (CS&P), 28 - 30 Sep 2005.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Restricted to Registered users only Download (449Kb) |
Description/Abstract
This paper summarises two approaches, Dual Flow Nets (DFN) and Object Petri Nets (OPN), and offers a translation mechanism between them. While the DFN model tackles the separation of control and data flow computing aspects, the OPN model has a more generalised structure. The aim of this paper is to show how the modelling based on control/data-flow analysis can benefit from an object-based Petri net approach. Tool support and a translation mechanism that is faithful are pesented, giving an extra dimension (hierarchy) to the existing paradigm of control and data flow interacting in a model. Our methodology provides a comprehensive separation of these two parts, which can be used to feed analysis or synthesis tools, while still being able to reason about both parts through formal methods of verification.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: 28-30 September 2005 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 261219 |
| Date Deposited: | 12 Sep 2005 |
| Last Modified: | 02 Mar 2012 12:40 |
| Contributors: | Farwer, Berndt (Author) Varea, Mauricio (Author) |
| Date: | 2005 |
| Additional Information: | Event Dates: 28-30 September 2005 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/261219 |
Actions (login required)
 |
View Item |
