11th Joint International Conference on Information Sciences

A Petri-Net Based Approach to Verifying Compositional Correctness of System Components

Authors
King Sing Cheung 0
Corresponding Author
King Sing Cheung
0University of Hong Kong
Available Online December 2008.
DOI
https://doi.org/10.2991/jcis.2008.27How to use a DOI?
Keywords
Petri net, augmented marked graph, component-based system design, system synthesis
Abstract
In component-based system design, one need to obtain from a given set of com-ponents an integrated system which is correct in the sense that the system is live, bounded and reversible. In this paper, based on the composition of augmented marked graphs, we propose a method for verifying correctness of the integrated system. The method begins with specify-ing the components as augmented marked graphs. These augmented marked graphs are then composed via common resource places into an integrated system. By the preservation of properties of this compo-sition, the liveness, boundedness, reversi-bility and conservativeness of the inte-grated system can be readily derived.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
11th Joint International Conference on Information Sciences
Part of series
Advances in Intelligent Systems Research
Publication Date
December 2008
ISBN
978-90-78677-18-5
ISSN
1951-6851
DOI
https://doi.org/10.2991/jcis.2008.27How to use a DOI?
Open Access
This is an open access article distributed under the CC BY-NC license.

Cite this article

TY  - CONF
AU  - King Sing Cheung
PY  - 2008/12
DA  - 2008/12
TI  - A Petri-Net Based Approach to Verifying Compositional Correctness of System Components
BT  - 11th Joint International Conference on Information Sciences
PB  - Atlantis Press
SP  - 156
EP  - 161
SN  - 1951-6851
UR  - https://doi.org/10.2991/jcis.2008.27
DO  - https://doi.org/10.2991/jcis.2008.27
ID  - Cheung2008/12
ER  -