Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.

Marta Pietkiewicz-Koutny

Published in: ACSD (2001)

Keyphrases

transition systems
search algorithm
distributed systems
software systems
reactive systems
concurrent systems