A Petri-Net Based Approach to Verifying Compositional Correctness of System Components
King Sing Cheung 0
King Sing Cheung
0University of Hong Kong
Available Online December 2008.
- https://doi.org/10.2991/jcis.2008.27How to use a DOI?
- Petri net, augmented marked graph, component-based system design, system synthesis
- 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.
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 -