Science in China Series E: Technological Sciences

, Volume 40, Issue 6, pp 605–611 | Cite as

Dynamic invariance of Petri net

  • Changjun Jiang
Article
Received:

Abstract

The concept of Petri net dynamic invariance is defined, which depicts the invariance character of systems' composition in two aspects, i. e. behavior and state. The relationship between the behavior invariance and state invariance is discussed and the algebra rule to distinguish the invariance is derived, which provide the basis for verifying the consistence of systems' composion.

Keywords

Petri net systems behavior state consistence 
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

Copyright information

© Science in China Press 1997

Authors and Affiliations

  • Changjun Jiang
    • 1
    • 2
    • 3
  1. 1.Institute of Computing Technology, and Institute of AutomationChinese Academy of SciencesBeijing
  2. 2.Institute of InformationUniversity of Hefei TechnologyHefei
  3. 3.Department of Computer ScienceInstitute of Shandong Mining and TechnologyTai'anChina

Personalised recommendations