Skip to main content
SpringerLink
Log in

Net operations (II)—The iterated addition operation of Petri nets

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

This paper presents the iterated addition operation of Petri nets and discusses its application in analysis and synthesis of cycle type systems and star type systems. A group of necessary and sufficient conditions for analysis of structural properties is obtained. In addition sufficient conditions for general systems are obtained.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Mandrioli Det al. Modeling the Ada task system by Petri nets.Comput. Languages, 1985, 10(1): 43–61.

    Article  MathSciNet  Google Scholar 

  2. Shatz S Met al. A Petri net framework for automated static analysis of Ada tasking behavior.J. Syst. Soft., 1988, 8: 343–359.

    Article  Google Scholar 

  3. Diaz M. Modeling and analysis of communication and cooperation protocol using Petri nets based models.Comput. Networks, 1982, 6: 419–441.

    MATH  Google Scholar 

  4. Suzuki Tet al. A protocol modeling and verification approach based on a specification language and Petri nets.IEEE Trans. Soft. Eng., 16: 523–536.

  5. Agerwala Tet al. A synthesis rule for concurrent systems. InProc. 15th Design Automation Conf., 1978, pp.305–311.

  6. Narahari Yet al. A Petri net approach to the modeling and analysis of flexible manufacturing systems.Ann. Oper. Res., 1985, 3: 449–472.

    Article  Google Scholar 

  7. Zhou M Cet al. A hybrid methodology for synthesis of Petri nets for manufacturing systems.IEEE Trans. Robotics Automat., 1992, 8: 350–361.

    Article  Google Scholar 

  8. Murata T. Petri nets: Properties, analysis and applications. InProc. IEEE, Vol. 77, 1989, 541–580.

  9. Berthelot G, Roucairol G. Reduction of Petri nets and parallel programs. InLecture Notes in Comput. Sci., Vol.84, 1980.

  10. Murata T, Koh J Y. Reduction and expansion of live and safe marked graphs.IEEE Trans. Circuit Syst., 1980, 27.

  11. Jiang Changjun, Wu Zhehui. Net operations.J. of Computer Science and Technology, 1992, 7(4): 333–344.

    Article  MATH  MathSciNet  Google Scholar 

  12. Jiang Changjun. Operations for general Cartesian multiplication of Petri nets.Acta Automatica Sinica, 1993, 19(6): 745–749.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Automation, The chinese Academy of Sciences, 100080, Beijing

    Jiang Changjun

  2. Shandong Institute of Mining and Technology, 271019, Taian, Shandong

    Jiang Changjun

Authors
  1. Jiang Changjun
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work is supported by the National Natural Science Foundation of China

Jiang Changjun received his M.S. degree in computer application from Shandong Mining Institute of Technology. He is currently a Ph.D. candidate of Institute of Automation, The Chinese Academy of Sciences. His research interests include algorithm, Petri nets, analysis of parallel and distributed systems.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jiang, C. Net operations (II)—The iterated addition operation of Petri nets. J. of Comput. Sci. & Technol. 10, 509–517 (1995). https://doi.org/10.1007/BF02943509

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943509

Keywords

Search

Navigation