Skip to main content
SpringerLink
Log in

Introduction

  • Chapter
  • First Online:
Augmented Marked Graphs

Abstract

This chapter aims to provide some background for the readers to understand the motivation of using augmented marked graphs in the modelling and analysis of systems. It starts with some basic concepts of system design. The challenges in system integration are discussed. It then introduces augmented marked graphs, and discusses how they can be effectively used in modelling and analyzing systems to address the challenges in system integration. An overview of the subsequent chapters of this book is also provided.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Definition of “system”, in The Merriam-Webster's Collegiate Dictionary, 11th edn. (Merriam-Webster, 2003)

    Google Scholar 

  2. Definition of “system”, in The Oxford Dictionary of English, 3rd edn. (Oxford University Press, 2010)

    Google Scholar 

  3. C. Haskins (ed.), INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities (International Council of System Engineering, San Diego, 2010)

    Google Scholar 

  4. G.T. Leavens, M. Sitaraman (eds.), Foundations of Component-Based Systems (Cambridge University Press, Cambridge, 2000)

    MATH  Google Scholar 

  5. G.T. Heineman, W.T. Councill, Component-Based Software Engineering: Putting the Pieces Together (Addison-Wesley, Boston, 2002)

    Google Scholar 

  6. C. Szyperski, Component Software: Beyond Object-Oriented Programming (Addison-Wesley, Reading, 2002)

    Google Scholar 

  7. M. Ramachandran, Software Components: Guidelines and Applications (Nova, New York, 2008)

    Google Scholar 

  8. C.A. Petri, Kommunikation mit Automaten, PhD dissertation, University of Bonn, Germany, 1962

    Google Scholar 

  9. C.A. Petri, Communication with automata, DTIC Research Report AD0630125, Defense Technical Information Centre, 1966

    Google Scholar 

  10. J.L. Peterson, Petri Net Theory and the Modeling of System (Prentice Hall, Englewood Cliffs, 1981)

    Google Scholar 

  11. W. Reisig, Petri Nets: An Introduction (Springer, Berlin, 1985)

    Book  MATH  Google Scholar 

  12. T. Murata, Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  13. J. Desel, W. Reisig, Place transition Petri nets, in Lectures on Petri Nets I: Basic Models, ed. by W. Reisig, G. Rozenberg. Lecture Notes in Computer Science, vol. 1491 (Springer, Berlin, 1998), pp. 122–173

    Chapter  Google Scholar 

  14. F. Chu, X. Xie, Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. 13(5), 793–804 (1997)

    Google Scholar 

  15. K.S. Cheung, New characterisation for live and reversible augmented marked graphs. Inf. Process. Lett. 92(5), 239–243 (2004)

    Article  MATH  Google Scholar 

  16. K.S. Cheung, K.O. Chow, Cycle-inclusion property of augmented marked graphs. Inf. Process. Lett. 94(6), 271–276 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  17. K.S. Cheung, Boundedness and conservativeness of augmented marked graphs. IMA J. Math. Control. Inf. 24(2), 235–244 (2007)

    Article  MATH  Google Scholar 

  18. K.S. Cheung, Augmented marked graphs. Informatica 32(1), 85–94 (2008)

    MATH  MathSciNet  Google Scholar 

  19. C.L. Chen, S.C. Chin, H.C. Yen, Reachability analysis of augmented marked graphs via integer linear programming. Comput. J. 53(6), 623–633 (2009)

    Article  Google Scholar 

  20. K.S. Cheung, Modelling and analysis of manufacturing systems using augmented marked graphs. Inf. Technol. Control 35(1), 19–26 (2006)

    Google Scholar 

  21. K.S. Cheung, Augmented marked graphs and the analysis of shared resource systems, in Petri Net: Theory and Application, ed. by V. Kordic (I-Tech Publishing, Vienna, 2008), pp. 377–400

    Google Scholar 

  22. K.S. Cheung, A formal method for synthesising components of shared resource systems. Int. J. Comput. Syst. Sci. Eng. 22(6), 349–358 (2007)

    Google Scholar 

  23. K.S. Cheung, K.O. Chow, Compositional synthesis of augmented marked graphs, in Proceedings of the IEEE International Conference on Control and Automation (IEEE Press, 2007), pp. 2810–2814

    Google Scholar 

  24. K.S. Cheung, Composition of augmented marked graphs and its application to component-based system design. Inf. Technol. Control 36(3), 310–317 (2007)

    Google Scholar 

  25. K.S. Cheung, Compositional synthesis of distributed system components based on augmented marked graphs. J. Comput. Sci. Technol. 8(1), 34–40 (2008)

    Google Scholar 

  26. H.J. Huang, L. Jiao, T.Y. Cheung, Property-preserving composition of augmented marked graphs that share common resources, in Proceedings of the International Conference on Robotics and Automation (IEEE Press, 2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Open University of Hong Kong, Hong Kong, Hong Kong SAR

    King Sing Cheung (Director of Information Technology)

Authors
  1. King Sing Cheung
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Cheung, K.S. (2014). Introduction. In: Augmented Marked Graphs. Springer, Cham. https://doi.org/10.1007/978-3-319-06428-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06428-4_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06427-7

  • Online ISBN: 978-3-319-06428-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation