A specific class of Petri nets was extended with AsynchronousChannels (ACs) and Time-Domains (TDs) to support Globally-Asynchronous Locally-Synchronous (GALS) systems’ modeling, analysis and implementation. This non-autonomous class of Petri nets is targeted to support the development of automation and embedded systems using a model-based development approach. It benefits from a tool chain fram...

We prove that a locally nitely dimensional shift-invariant linear space of distributions must be a linear subspace of some shift-invariant space generated by nitely many compactly supported distributions. If the locally nitely dimensional shift-invariant space is a subspace of the HH older continuous space C or the fractional

Given a nonempty set X, a fuzzy ideal I on X is a collection of subsets of X closed under finite union and subset operations. In this paper we define a space to be locally I fuzzy compact space if every point in the space has an I fuzzy compact neighbourhood. Basic results concerning locally I fuzzy compact spaces are given relating to subspaces, preservation of functions, and products. Classic...

The saturation strategy for symbolic state-space generation is particularly effective for globally-asynchronous locally-synchronous systems. A distributed version of saturation, SaturationNOW, uses the overall memory available on a network of workstations to effectively spread the memory load, but its execution is essentially sequential. To achieve true parallelism, we explore a speculative fir...