A Petri-Net Based Approach to Verifying Compositional Correctness of System Components
- 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.
- © 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 -