Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification
Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification
This paper presents a new modelling technique capable of modelling both control and data information using a single unified approach. This is achieved by modifying the classical Petri Net structure, allowing it to have two types of transitions and arcs. As a consequence, loops and conditional operations within complex specifications are easily identified. The system dynamic behaviour is modelled using a new marking scheme of the net consisting of a new element called "value" for data representation in addition to classical tokens used for control purpose. Structural definitions, behavioural rules and graphical representation of the new modelling technique are given. One potential application of the proposed modelling technique is the internal representation of embedded systems specification. Two examples are included illustrating the applicability and efficiency of the proposed modelling technique.
566-571
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
Al-Hashimi, Bashir M.
0b29c671-a6d2-459c-af68-c4614dce3b5d
March 2001
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
Al-Hashimi, Bashir M.
0b29c671-a6d2-459c-af68-c4614dce3b5d
Varea, Mauricio and Al-Hashimi, Bashir M.
(2001)
Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification.
Conference on Design, Automation and Test in Europe (DATE), Munich, Germany.
13 - 16 Mar 2001.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
This paper presents a new modelling technique capable of modelling both control and data information using a single unified approach. This is achieved by modifying the classical Petri Net structure, allowing it to have two types of transitions and arcs. As a consequence, loops and conditional operations within complex specifications are easily identified. The system dynamic behaviour is modelled using a new marking scheme of the net consisting of a new element called "value" for data representation in addition to classical tokens used for control purpose. Structural definitions, behavioural rules and graphical representation of the new modelling technique are given. One potential application of the proposed modelling technique is the internal representation of embedded systems specification. Two examples are included illustrating the applicability and efficiency of the proposed modelling technique.
More information
Published date: March 2001
Additional Information:
Event Dates: 13-16 March 2001 Organisation: IEEE/ACM Address: Munich, Germany
Venue - Dates:
Conference on Design, Automation and Test in Europe (DATE), Munich, Germany, 2001-03-13 - 2001-03-16
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 254185
URI: http://eprints.soton.ac.uk/id/eprint/254185
PURE UUID: 39de889c-f147-42f0-ae52-0121311957af
Catalogue record
Date deposited: 05 Oct 2001
Last modified: 14 Mar 2024 05:30
Export record
Contributors
Author:
Mauricio Varea
Author:
Bashir M. Al-Hashimi
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