Some Complexity Results on Transition Systems and Elementary Net Systems.

Kunihiko Hiraishi

Published in: Theor. Comput. Sci. (1994)

Keyphrases

transition systems
expert systems
object oriented
distributed systems
model checking
control flow
concurrent systems