Login / Signup

Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net.

Feng YuJunzhou LuoWei LiLa-Lin Jiang
Published in: NAS (2009)
Keyphrases
  • formal specification
  • colored petri nets
  • petri net
  • information systems
  • multi agent
  • model checking
  • databases
  • case study
  • programming language