Needs of considering environmental impacts and growing emphasise on using renewable resources is discussed also in the field architecture construction. Timber, as a key element, provides certain benefits with less negative impact than non-renewable resources, represented by commonly used materials (e.g. concrete). Nevertheless, timber core element for constructing multi-storey or large hall bui...

Modular automata are symbolic transition systems halfway between families of automata and their synchronized products. They allow for analysis of liveness properties without incurring the state space explosion problem. A modular automaton is composed of modules and a synchronization graph. We consider the problem whether such specifications may be implemented by a distributed Petri net up to la...