We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Jiang Chanaiun. Net Operations (Ⅱ)-The Iterated Addition Operation of Petri Nets[J]. Journal of Computer Science and Technology, 1995, 10(6): 509-517.
Citation: Jiang Chanaiun. Net Operations (Ⅱ)-The Iterated Addition Operation of Petri Nets[J]. Journal of Computer Science and Technology, 1995, 10(6): 509-517.

Net Operations (Ⅱ)-The Iterated Addition Operation of Petri Nets

More Information
  • Published Date: November 09, 1995
  • This paper presents the iterated addition operation of Petri nets and dis-cusses 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.
  • [1]
    Mandrioli.D et al. Modeling the Ada task system by Petri nets. Comput. Languages, 1985,10(1): 43-61.
    [2]
    Shatz.S.M et al. A Petri net framework for automated static analysis of Ada tasking behavior.J. Syst. Soft. 1988, 8: 343-359.
    [3]
    Diaz.M. Modeling and analysis of communication and cooperation protocol using Petri nets based models. Comput. Networks, 1982, 6: 419-441. ……….

Catalog

    Article views (12) PDF downloads (1380) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return