Login / Signup

Petri Net Tools for the Specification and Analysis of Discrete Controllers.

Reg G. WillsonBruce H. Krogh
Published in: IEEE Trans. Software Eng. (1990)
Keyphrases
  • petri net
  • colored petri nets
  • petri net model
  • data analysis
  • manufacturing systems
  • ims ld
  • web service composition
  • production process
  • reactive systems
  • high level petri nets