Login / Signup
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
Hartmut Ehrig
Kathrin Hoffmann
Julia Padberg
Ulrike Prange
Claudia Ermel
Published in:
ICATPN (2007)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
low cost
reactive systems
model checker
artificial intelligence
formal specification
conditional independence
domain specific