The design of a supervisory controller for distributed manufacturing process, demands modular modelling and formal analysis. The objective of this paper is to present an automated design based on UML (Unified Modelling Language) modelling and Petri nets verification. First UML use cases and class diagrams are used to model the manufacturing process. Then a transformation into their equivalent P...

To generate complete 3-D maps of extracellular ion current patterns around insect ovarioles without removing the sample and chamber from the recording equipment, it was necessary to design a chamber permitting complete rotation of the tissue. While suction pipets have been used in previous studies to orient the tissue (1), their use can significantly disturb extracellular ionic gradients if an ...

An explicit proposal for experiments leading to abrupt transitions in spatially extended bacterial populations in a Petri dish is presented on the basis of an exact formula obtained through an analytic theory. The theory provides accurately the transition expressions despite the fact that the actual solutions, which involve strong nonlinearity, are inaccessible to it. The analytic expressions a...

Macro-level studies show that ICT has considerable economic effects through the expansion of ICT-related production of goods and services as well as via capital deepening. In the U.S., these effects are primarily driven by the use of ICT (Jorgenson, 2001; Oliner and Sichel, 2000), whereas in Finland they are primarily driven by the provision of ICT (Jalava, 2002; Jalava and Pohjola, 2002). Fric...

Bacteriocin production can be easily detected by using both sides of the agar contained in a standard petri dish.

Texas is the petri dish of sorts for the anti-Planned Parenthood movement. Efforts to restrict Planned Parenthood funding there date back to 2011, when the legislature directed the state's Medicaid waiver program, the Women's Health Program, to exclude Planned Parenthood affiliates from its funding.