Results 101 to 110 of about 3,623,879 (377)
Grammars controlled by petri nets with inhibitor arcs. [PDF]
, 2010 A Petri net controlled grammar is a grammar equipped with a Petri net whose transitions are labeled with production rules of the grammar, and the associated language consists of all terminal strings which can be derived in the grammar and the sequence of
Selamat, Mohd Hasan, Turaev, Sherzod
core
Laser‐Induced Graphene from Waste Almond Shells
Advanced Functional Materials, EarlyView.Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source
Моделирование и анализ информационных систем, 2010 A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC format into a monochrome Petri net is suggested.
M. G. Dorrer
doaj
, 1982 Introduction: Fairness is to be understood as performing actions in the order of their announcements. Related problems are studied in the Petri net model where actions correspond to the firings of transitions. An action in announced if a transition becomes firable, it is performed if this transition fires.
openaire +3 more sources
A Universal Way to Manipulate Droplet via Light‐Fueled Thermocapillary Convection
Advanced Functional Materials, EarlyView.A non‐contact light‐induced droplet manipulation strategy fueled by mid‐infrared (MIR) light irradiation is introduced. No additional additives and/or complex substrate are required. Here, thermocapillary convection, directly generated by temperature gradient at outer surface of droplet via localized surface heating, plays a key role to propel the ...
Hyesun Hwang +5 more
wiley +1 more source
Comparative Analysis of Sequential and Combinatorial Auctions Based on Petri Nets
IEEE Access, 2018 An auction is a crucial resource allocation mechanism for a supply chain and includes the purchasing price at the winner's bid value, eligible suppliers in winning bidder sets, and business payment terms. A multi-object auction usually involves two types
Xiaodan Zhang +4 more
doaj +1 more source
Formal and efficient verification techniques for Real-Time UML models [PDF]
, 2006 The real-time UML profile TURTLE has a formal semantics expressed by translation into a timed process algebra: RT-LOTOS. RTL, the formal verification tool developed for RT-LOTOS, was first used to check TURTLE models against design errors.
Courtiat, Jean-Pierre +2 more
core +1 more source
Functorial Models for Petri Nets
Information and Computation, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BRUNI, ROBERTO +3 more
openaire +2 more sources
Distributed Unfolding of Petri Nets [PDF]
, 2006 Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the system, which are then correlated with diagnoses from neighbouring supervisors.
Baldan, Paolo +2 more
openaire +2 more sources
Microbubble‐Controlled Delivery of Biofilm‐Targeting Nanoparticles to Treat MRSA Infection
Advanced Functional Materials, EarlyView.Here, an effective strategy using microbubble (MB)‐controlled delivery of biofilm‐targeting nanoparticles (BTNs) for removal and therapy of methicillin‐resistant Staphylococcus aureus (MRSA) biofilm infections is introduced. In vivo delivery of MB with BTN is demonstrated to silence key bacterial genes involved in biofilm formation (icaA), bacterial ...
Ju Yeon Chung +6 more
wiley +1 more source