Normalization of place/transition-systems preserves net behaviour.

Published in: RAIRO Theor. Informatics Appl. (1992)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
web services
case study
search space
sufficient conditions
information security
formal specification