Login / Signup

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets.

Nikola TrckaMarc VoorhoeveTwan Basten
Published in: ACSD (2011)
Keyphrases
  • partial order
  • coloured petri nets
  • total order
  • partially ordered
  • partial ordering
  • machine translation
  • stable marriage
  • special case
  • lattice structure