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

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)

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  -