Login / Signup
Transformations in Reconfigurable Place/Transition Systems.
Ulrike Prange
Hartmut Ehrig
Kathrin Hoffmann
Julia Padberg
Published in:
Concurrency, Graphs and Models (2008)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
low cost
model checker
distributed systems
reactive systems
artificial intelligence
business processes
formal specification