Login / Signup

Transition Systems of Elementary Net Systems with Inhibitor Arcs.

Marta Pietkiewicz-Koutny
Published in: ICATPN (1997)
Keyphrases
  • transition systems
  • distributed systems
  • concurrent systems
  • domain specific
  • model checking