Model-based development approaches can provide a major contribution in the development
of globally asynchronous locally synchronous distributed embedded systems (GALS-DES) if …

Petri nets have been widely used in the design of embedded controllers, namely in
electronic hardware and computing platforms design, as well as within automation …

Elementary net systems with localities (enl-systems) is a class of Petri nets introduced to
model globally asynchronous locally synchronous systems (gals), where some of the …

Automated synthesis from behavioural specifications is an attractive way of constructing
computational systems. In this paper, we look at a specific instance of this approach which …

Elementary Net Systems with Localities (ENL-systems) is a class of Petri nets introduced to
model GALS (globally asynchronous locally synchronous) systems, where some of the …

We consider synchrony and asynchrony in the behavior of various models of membrane
systems, which may differ in the way individual reactions are defined as well as in the way …

Petri nets are a well-established model of concurrent and distributed computation featuring a
wealth of tools for the analysis and verification of their behavioural properties. Like …

Designing software systems underpinned by a formal model of computation (MoC) is crucial
for safety-critical, real-time and all industrial applications as it allows formal analysis of those …

One of the possible ways of constructing concurrent systems is their automated synthesis
from behavioural specifications. In this paper, we look at a particular instance of this …

The unconstrained step semantics of Petri nets is impractical for simulating and modelling
applications. In the past, this inadequacy has been alleviated by introducing various flavours …