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