Login / Signup

Decomposition, validation and documentation of control process specification in form of a Petri net.

Iwona GrobelnaMonika WisniewskaRemigiusz WisniewskiMichal GrobelnyPiotr Mroz
Published in: HSI (2014)
Keyphrases
  • petri net
  • colored petri nets
  • process model
  • discrete event systems
  • petri net model
  • model checking
  • control strategy
  • manufacturing systems
  • web service composition
  • reactive systems