Dynamic invariance of Petri net

Science in China, Series E: Technological Sciences

Volumn 40, Issue 6, 1997, Pages 605-611

  Jiang, Changjun ^a,b,c  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^b HEFEI UNIVERSITY   (China)

^c UNIVERSITY OF SHANGHAI FOR SCIENCE AND TECHNOLOGY   (China)

Author keywords

Behavior; Consistence; Petri net; State; Systems

Indexed keywords

EID: 0345846591     PISSN: 10069321     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf02916845     Document Type: Article

References (9)

1. Lu, W. M., C/E system's alternate characterizations, Science in China (in Chinese), Ser. A, 1993, 23(3): 219.
2. Murata, T., Petri net: properties analysis and applications, Proc. of the IEEE, 1989, 77(4): 24.
3. Jiang, C.J., Wu, Z.H., Net operations, J. of Camp. Sci. γ Tech., 1992, (4): 333.
4. Giua, A., Cesare, F.D., Petri net structural analysis for supervisory control, IEEE Trans. RA, 1994, 10(2): 185.
5. Valmari, A., Compositional analysis with place-bordered subnets, LNCS, 1994, 815: 831.
6. Cheung S. C., Kramer, J., Enhancing compositional reachability analysis with context constraints, ACM on Soft. Eng. Motes, 1993, 18(5): 236.
7. Portinale, L., Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model, LNCS, 1994, 815:39.
8. Reisig, W., Petri Nets, An Introduction, Berlin: Springer-Verlag, 1985.
9. Jiang, C. J., Vector grammers and PN machines, Science in China (in Chinese), Ser. A, 1995, 25(12): 1315.