IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Shear-induced lamellar phase of an ionic liquid crystal at room temperature

The phase behaviour of a number of N-alkylimidazolium salts was studied using polarizing optical microscopy, differential scanning calorimetry and X-ray diffraction. Two of these compounds exhibit lamellar mesophases at temperatures above 50 degrees C. In these systems, the liquid crystalline behaviour may be induced at room temperature by shear. Sheared films of these materials, observed between crossed polarisers, have a morphology that is typical of (wet) liquid foams: they partition into dark domains separated by brighter (birefringent) walls, which are approximately arcs of circle and meet at "Plateau borders" with three or more sides. Where walls meet three at a time, they do so at approximately 120 degrees angles. These patterns coarsen with time and both T1 and T2 processes have been observed, as in foams. The time evolution of domains is also consistent with von Neumann's law. We conjecture that the bright walls are regions of high concentration of defects produced by shear, and that the system is dominated by the interfacial tension between these walls and the uniform domains. The control of self-organised monodomains, as observed in these systems, is expected to play an important role in potential applications.

How foam-like is the shear-induced lamellar phase of an ionic liquid crystal?

Philosophical Magazine Letters Volume 88, Issue 9-10, 2008 Special Issue: Solid and Liquid Foams. In commemoration of Manuel Amaral Fortes