Results 91 to 100 of about 411,715 (285)
UML and Petri Nets for Design and Analysis of Distributed Systems [PDF]
, 2000 This paper presents a modification to UML to improve the modelling and analysis of discrete-event dynamic system (DEDS) representations of manufacturing systems.
Giacomini, Luisa +2 more
core +1 more source
A Physical Adaptive Material Motor Unit Neural Network: A Hygromorph Composite Material Machine
Advanced Science, EarlyView.This study introduces a new class of material‐based intelligent machines. It presents a Physical Adaptive Material Motor Unit Neural Network, an assembly of smart 4D printed actuators and a controlling system that adapt through environmental interaction its shading behavior.
Charles de Kergariou +2 more
wiley +1 more source
Simulation of Food Restaurant Using Colored Petri Nets
Journal of Engineering and Sustainable Development, 2014 a food restaurant approach is proposed in this paper. The proposed approach is based on moving the customer to request meal and how the sensitivity for changes by applying a new tool for modeling and simulating works of the restaurant.Colored Petri nets
Zinah Salih Hussein
doaj
Symbolic Coloring of Petri Nets
, 2015 In this chapter two methods of automatic coloring of the Petri nets supported by formal reasoning using monotone Gentzen calculus are presented. Coloring is used to determine the State Machine subnets. The colors help to validate intuitively and formally consistency of all sequential processes in the considered discrete state model.
openaire +1 more source
Evolving concurrent Petri net models of epistasis [PDF]
, 2010 A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational models of concurrent processes.
Beretta, Lorenzo, Mayo, Michael
core +1 more source
Advanced Science, EarlyView.Boronic acid‐based fluorescent hybrids have been used as part of a versatile platform for real‐time metabolic bioimaging across cellular and organismal scales. Including glucose‐responsive imaging in living cells and in an insulin‐deficient vertebrate model, this work opens new opportunities for the development of precision diagnostics, metabolic ...
Haobo Ge +13 more
wiley +1 more source
Towards a Notion of Distributed Time for Petri Nets
, 2001 We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty is that, rather than a single global clock, we
Srba, J., Nielsen, M., Sassone, V.
core +2 more sources
Dependency Modeling of a SOA Based System Through Colored Petri Nets
Journal of Computing and Information Technology, 2016 Dependency relationships play an important role in testing, maintenance and configuration management of software systems. The informal dependency representations fail to observe behavioral connections among subsystems and cause ambiguity in representing ...
Pawan Kumar, Ratneshwer Gupta
doaj +1 more source
Advanced Science, EarlyView.CDegSR, a new tool for imaging RNA at single molecule level in living cells was developed by researchers. Background noise was eliminated by protein engineering and making it degrade when not bound to its target. This allowed individual RNA molecules to be clearly imaged and tracked.
Shipeng Shao, Hongchen Zhang
wiley +1 more source
Advanced Science, EarlyView.A reversible five‐phase topological cycle is achieved in a minimalist cobalt formate metal–organic framework. The amorphous phase functions as a programmable reactive hub, selectively reconstructing into four distinct crystalline architectures through cationic templates, humidity, or CO2.
Zhiyu Tao +6 more
wiley +1 more source