Transforming Dual Flow Nets into Object Petri Nets
Transforming Dual Flow Nets into Object Petri Nets
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.
Farwer, Berndt
fa53e8f3-4281-41dc-891b-4bf6acdd4e3e
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
2005
Farwer, Berndt
fa53e8f3-4281-41dc-891b-4bf6acdd4e3e
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
Farwer, Berndt and Varea, Mauricio
(2005)
Transforming Dual Flow Nets into Object Petri Nets.
International Workshop on Concurrency, Specification & Programming (CS&P), Poland.
28 - 30 Sep 2005.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
csp05fv050815.pdf
- Other
Restricted to Registered users only
More information
Published date: 2005
Additional Information:
Event Dates: 28-30 September 2005
Venue - Dates:
International Workshop on Concurrency, Specification & Programming (CS&P), Poland, 2005-09-28 - 2005-09-30
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261219
URI: http://eprints.soton.ac.uk/id/eprint/261219
PURE UUID: 8d33c1f6-4d04-4c79-8dcf-2bd22a780aeb
Catalogue record
Date deposited: 12 Sep 2005
Last modified: 14 Mar 2024 06:49
Export record
Contributors
Author:
Berndt Farwer
Author:
Mauricio Varea
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics