Proceedings of the 11th Joint Conference on Information Sciences (JCIS 2008)

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

Authors
King Sing Cheung1
1University of Hong Kong
Corresponding Author
King Sing Cheung
Available Online December 2008.
DOI
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.

Copyright
© 2008, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 11th Joint Conference on Information Sciences (JCIS 2008)
Series
Advances in Intelligent Systems Research
Publication Date
December 2008
ISBN
10.2991/jcis.2008.27
ISSN
1951-6851
DOI
10.2991/jcis.2008.27How to use a DOI?
Copyright
© 2008, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

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  - Proceedings of the 11th Joint Conference on Information Sciences (JCIS 2008)
PB  - Atlantis Press
SP  - 156
EP  - 161
SN  - 1951-6851
UR  - https://doi.org/10.2991/jcis.2008.27
DO  - 10.2991/jcis.2008.27
ID  - Cheung2008/12
ER  -