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 …

Many-core parallel computing and programming are new challenges to formal specification
and verification. This paper presents a semantic model for many-core parallel computing …

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 …

Automated synthesis from behavioural specifications, such as transition systems, is an
attractive way of constructing correct concurrent systems. In this paper, we investigate the …

In this paper we present a brief overview of a representative fragment of the theory of
regions. Regions are a powerful tool for the synthesis of concurrent systems from a …

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 …

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

This paper presents an approach to simulate and verify the CTCS-3 (Chinese Train Control
System 3) protocol with a Modeling, Simulation and Verification Language (MSVL) which is …

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