Dual transitions petri net based modelling technique for embedded systems specification

Authors:
M. Varea;B. Al-Hashimi
Affiliations:
Department of Electronics and Computer Science, University of Southampton, SO17 1BJ, Southampton, UK;Department of Electronics and Computer Science, University of Southampton, SO17 1BJ, Southampton, UK
Venue:
Proceedings of the conference on Design, automation and test in Europe
Year:
2001

Predicate/transition nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Formal Models for Embedded System Design

IEEE Design & Test

Symbolic model checking of Dual Transition Petri Nets

Proceedings of the tenth international symposium on Hardware/software codesign
Modeling and formal verification of embedded systems based on a Petri net representation

Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification

Hi-index	0.00