Compositional Synthesis of Augmented Marked Graphs

@article{Cheung2007CompositionalSO,
  title={Compositional Synthesis of Augmented Marked Graphs},
  author={K Y Cheung and K. O. Chow},
  journal={2007 IEEE International Conference on Control and Automation},
  year={2007},
  pages={2810-2814}
}
Augmented marked graphs possess some structural characteristics which are desirable for modelling shared-resource systems. This paper investigates the compositional synthesis of augmented marked graphs via a set of common resource places. It is shown that the synthesis preserves boundedness and conservativeness while liveness and reversibility can be preserved under a pretty simple condition. This can be applied to component-based system design, where a system is synthesised from a set of… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-9 of 9 references

Manufacturing System Design Using Augmented Marked Graph

  • K. S. Cheung, K. O. Chow
  • Proceedings of the 24th Chinese Control…
  • 2005
1 Excerpt

Petri Nets: Properties

  • T. Murata
  • Analysis and Applications", Proceedings of the…
  • 1989
1 Excerpt

Petri Nets: An Introduction

  • W. Reisig
  • Springer
  • 1985
1 Excerpt

Similar Papers

Loading similar papers…