Results 61 to 70 of about 262,073 (323)
Hybrid algorithm for scheduling and risk assessment of projects [PDF]
, 2003 IFAC CONFERENCE ON ANALYSIS AND DESIGN OF HYBRID SYSTEMS (.2003.SAINT-MALO BRITTANY, FRANCIA)This work presents a technique for optimal scheduling of projects in terms of time and cost, taking into account risk assessment.
Camacho, Eduardo F. +2 more
core +1 more source
Advanced Engineering Materials, EarlyView.Mesoporous bioactive glass nanoparticles (MBGNs) are investigated for bone regeneration given their remarkable structural and functional properties. MBGNs are functionalized with Mn and Cu and incorporated with quercetin, a natural flavonoid exhibiting antioxidant, anti‐inflammatory, and antimicrobial properties.
Giovanni Lo Bello +5 more
wiley +1 more source
Modeling of colored Petri nets using semantic Web technologies
Известия высших учебных заведений. Поволжский регион:Технические науки, 2022 Background. In connection with the widespread use of the Semantic Web concept, the issues of using formal models in the design of parallel, distributed and multi-agent systems based on the Semantic Web are of interest.
V.Yu. Kaev +3 more
doaj +1 more source
The Logical View on Continuous Petri Nets
ACM Transactions on Computational Logic, 2017 Continuous Petri nets are a relaxation of classical discrete Petri nets in which transitions can be fired a fractional number of times, and consequently places may contain a fractional number of tokens.
Michael Blondin +3 more
semanticscholar +1 more source
, 2013 A new graphical framework, Abridged Petri Nets (APNs) is introduced for bottom-up modeling of complex stochastic systems. APNs are similar to Stochastic Petri Nets (SPNs) in as much as they both rely on component-based representation of system state ...
Volovoi, Vitali
core
Task Suspension in Agent Systems [PDF]
, 2008 We discuss the similarity of a recent approach to task suspension in agent programming languages with an earlier approach to formalising preemption using a class of Petri nets, called M-nets.
Farwer, Berndt
core +1 more source
Advanced Functional Materials, EarlyView.[001]‐oriented Sb2Se3 film with improved crystallinity and adjusted composition is achieved via a new thermal treatment approach consisting of preliminary annealing of the Sb layer before its selenization. The findings of this work demonstrate enhanced charge carriers' transportation, a stable performance, and an improvement of H2 generation from ...
Magno B. Costa +7 more
wiley +1 more source
A new approach for diagnosability analysis of Petri nets using Verifier Nets [PDF]
, 2012 In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the standard notion of diagnosability of languages, requiring that every occurrence of an unobservable fault event be eventually detected, as well as the stronger ...
Cabasino MP +3 more
core +2 more sources
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Simulating Petri Nets with Inhibitor and Reset Arcs
Труды Института системного программирования РАН, 2019 Event logs of software systems are used to analyze their behaviour and inter-component interaction. Artificial event logs with desirable specifics are needed to test algorithms supporting this type of analysis. Recent methods allow to generate artificial
Pavel Аlexeevitch Pertsukhov +1 more
doaj +1 more source