Results 61 to 70 of about 411,715 (285)
AUTOMATION OF THE SMART HOUSE SYSTEM-LEVEL DESIGN
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 2013 In the article the smart house (SH) structural scheme, the general performance algorithm of the SH system, and the SH system model based on colored Petri nets, which enables exploring dynamics of the whole system as well as internal interaction of its ...
Vasyl Teslyuk +2 more
doaj +1 more source
Advanced Robotics Research, EarlyView.Rotating magnetic fields (RMFs) are widely used for microrobot propulsion and control. We show that RMF generation with permanent magnets is mechanically feasible for many limb and intracranial applications but becomes constrained for thoracic targets.
Tuan‐Anh Le +4 more
wiley +1 more source
Representation Theorems for Petri Nets
, 1997 This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical ...
Meseguer, J., Montanari, U., Sassone, V.
core +1 more source
Modeling the fraud-like investment founds by Petri nets [PDF]
In this paper we model the fraud-like investment founds using place-transition Petri nets. We will also classify the business using regression line in order to find the possible fraud-like investment founds.
Ciuiu, Daniel
core
Modelling scalable grid information services with colored Petri nets
, 2010 Information services play a crucial role in grid computing environments in that the state information of a grid system can be used to facilitate the discovery of resources and services available to meet user requirements and help tune the performance of ...
Hadjinicolaou, M., Sahota, V., Li, M.
core +1 more source
Advanced Robotics Research, EarlyView.A magnetic donut‐like millirobot is developed for label‐free pick‐and‐place of a tumor spheroid wirelessly controlled by a magnetic trap. Spheroids are important 3D multicellular culture systems that recapitulate key structural and functional features of native tissues.
Yue Gao +8 more
wiley +1 more source
The Algebraic Structure of Petri Nets
, 2004 This survey retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core +1 more source
Throughput analysis in timed colored Petri nets [PDF]
1993 IEEE International Symposium on Circuits and Systems, 2002 It is shown that the steady-state behavior of a class of timed colored Petri nets can be analyzed by using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average value of firing times rather than firing time distribution functions, the same approach can be applied to a variety of net models ...
openaire +2 more sources
Highly Flexible and Conformable ZnO/FeGa Magnetoelectric Heterostructures for Skin wound Healing
Advanced Science, EarlyView.The magnetic field‐induced electric field generated by a highly flexile ZnO(piezoelectric)/FeGa(magnetostrictive) magnetoelectric heterostructure embedded in the low Young's modulus elastomer PDMS has been used to stimulate the wound healing processes.
Filippos Perdikos +17 more
wiley +1 more source
High-Level Petri Nets as Type Theories in the Join Calculus
, 2001 We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four classes of nets of increasing expressiveness, $PN_i$, introduce a hierarchy of type ...
Buscemi, Maria Grazia +6 more
core +2 more sources