Variants of the bakery: flexible modeling with Heraklit
摘要
A series of examples show the expressive power of the formal framework for general system modules. The close relation to predicate logic turns out particularly useful. In particular, logical predicates serve as places of Petri nets.