Copyright and Licensing
Articles accepted for publication will be licensed under the Creative Commons BY-NC-SA. Authors must sign a non-exclusive distribution agreement after article acceptance.
Compositional synthesis of distributed system components based on augmented marked graphs
Keywords:
Petri nets, Augmented marked graphs, Distributed systems, Component-based system designAbstract
Augmented marked graphs possess a special structure for modelling common resources as well as some desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. This paper investigates the property-preserving composition of augmented marked graphs for the synthesis of distributed systems. It is proposed that distributed system components are specified as augmented marked graphs. An integrated system is obtained by composing these augmented marked graphs via their common resource places. Based on preservation of properties, liveness, boundedness, reversibility and conservativeness of the system can be readily derived. This contributes to resolve the problem of ensuring design correctness in the composition of distributed system components.
Downloads
Download data is not yet available.
References
[1] F. Chu and X. Xie, "Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming", IEEE Transactions on Robotics and Automation, Vol. 13, No. 6, pp. 793-804, 1997.
[2] K.S. Cheung, "New Characterisations for Live and Reversible Augmented Marked Graphs", Information Processing Letters, Vol. 92, No. 5, pp. 239-243, 2004.
[3] K.S. Cheung and K.O. Chow, "Cycle Inclusion Property of Augmented Marked Graphs", Information Processing Letters, Vol. 94, No. 6, pp. 271-276, 2005.
[4] K.S. Cheung, "Boundedness and Conservativeness of Augmented Marked Graphs", IMA Journal of Mathematical Control and Information, Vol. 24, No. 2, pp. 235-244, 2007.
[5] K.S. Cheung and K.O. Chow, "Compositional Synthesis of Augmented Marked Graphs", Proceedings of the IEEE International Conference on Control and Automation, pp. 2810-2814, IEEE Press, 2007.
[6] K.S. Cheung and K.O. Chow, "Compositional Synthesis of Augmented Marked Graphs for Manufacturing System Integration", Proceedings of the IEEE International Conference on Integration Technology, pp. 331-335, IEEE Press, 2007.
[7] H.J. Huang, L. Jiao and T.Y. Cheung, "Property-Preserving Composition of Augmented Marked Graphs that Share Common Resources", Proceedings of the IEEE International Conference on Robotics and Automation, Vol. 1, pp. 1446-1451, IEEE Press, 2003.
[8] W. Reisig, Petri Nets : An Introduction, Springer, 1985.
[9] T. Murata, "Petri Nets : Properties, Analysis and Applications", Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580, 1989.
[10] J. Desel and W. Reisig, Place Transition Petri Nets, Lectures on Petri Nets, Volume 1 : Basic Models, Lecture Notes in Computer Science, Vol. 1491, pp. 122-173, Springer-Verlag, 1998.
[11] G.T. Heineman and W.T. Councill, Component-Based Software Engineering : Putting the Pieces Together, Addison-Wesley, 2002.
[12] I. Crnkovic and M. Larsson, Building Reliable Component-Based Software Systems, Artech House, 2002.
[2] K.S. Cheung, "New Characterisations for Live and Reversible Augmented Marked Graphs", Information Processing Letters, Vol. 92, No. 5, pp. 239-243, 2004.
[3] K.S. Cheung and K.O. Chow, "Cycle Inclusion Property of Augmented Marked Graphs", Information Processing Letters, Vol. 94, No. 6, pp. 271-276, 2005.
[4] K.S. Cheung, "Boundedness and Conservativeness of Augmented Marked Graphs", IMA Journal of Mathematical Control and Information, Vol. 24, No. 2, pp. 235-244, 2007.
[5] K.S. Cheung and K.O. Chow, "Compositional Synthesis of Augmented Marked Graphs", Proceedings of the IEEE International Conference on Control and Automation, pp. 2810-2814, IEEE Press, 2007.
[6] K.S. Cheung and K.O. Chow, "Compositional Synthesis of Augmented Marked Graphs for Manufacturing System Integration", Proceedings of the IEEE International Conference on Integration Technology, pp. 331-335, IEEE Press, 2007.
[7] H.J. Huang, L. Jiao and T.Y. Cheung, "Property-Preserving Composition of Augmented Marked Graphs that Share Common Resources", Proceedings of the IEEE International Conference on Robotics and Automation, Vol. 1, pp. 1446-1451, IEEE Press, 2003.
[8] W. Reisig, Petri Nets : An Introduction, Springer, 1985.
[9] T. Murata, "Petri Nets : Properties, Analysis and Applications", Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580, 1989.
[10] J. Desel and W. Reisig, Place Transition Petri Nets, Lectures on Petri Nets, Volume 1 : Basic Models, Lecture Notes in Computer Science, Vol. 1491, pp. 122-173, Springer-Verlag, 1998.
[11] G.T. Heineman and W.T. Councill, Component-Based Software Engineering : Putting the Pieces Together, Addison-Wesley, 2002.
[12] I. Crnkovic and M. Larsson, Building Reliable Component-Based Software Systems, Artech House, 2002.
Downloads
Published
2008-04-01
Issue
Section
Original Articles
License
How to Cite
[1]
“Compositional synthesis of distributed system components based on augmented marked graphs”, JCS&T, vol. 8, no. 01, pp. p. 34–40, Apr. 2008, Accessed: Mar. 12, 2026. [Online]. Available: https://journal.info.unlp.edu.ar/JCST/article/view/766
