On Concurrent Realization of Reactive Systems and Their Morphisms.

Marek A. Bednarczyk Andrzej M. Borzyszkowski

Published in: Unifying Petri Nets (2001)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
information flow
petri net
real time systems
state machines
real time
high level
control flow
mutual exclusion
concurrent execution