SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.
Citation: | Jiang Chanaiun. Net Operations (Ⅱ)-The Iterated Addition Operation of Petri Nets[J]. Journal of Computer Science and Technology, 1995, 10(6): 509-517. |
[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. ……….
|