Compositional Modeling of Reactive Systems Using Open Nets.

Paolo Baldan Andrea Corradini Hartmut Ehrig Reiko Heckel

Published in: CONCUR (2001)

Keyphrases

reactive systems
information flow
petri net
model checking
temporal logic
neural network
data warehouse
modeling method
state machines