Results 121 to 130 of about 145,993 (337)

Capacity Bounded Grammars and Petri Nets

, 2009
A capacity bounded grammar is a grammar whose derivations are restricted by assigning a bound to the number of every nonterminal symbol in the sentential forms.
Bianca Truthe, D. Hauschildt, Giovanni Pighizzini, J. Dassow, J. Dassow, J. Esparza, Jürgen Dassow, Ralf Stiebe, S. Crespi-Reghizzi, S. Ginsburg, S. Ginsburg, S. Turaev, Sherzod Turaev, W. Reisig   +13 more
core   +2 more sources

Coagulative Granular Hydrogels with an Enzyme Catalyzed Fibrin Network for Endogenous Tissue Regeneration

Advanced Healthcare Materials, EarlyView.
Coagulative granular hydrogels are composed of packed thrombin‐functionalized microgels that catalyze the conversion of fibrinogen into a secondary fibrin network, filling the interstitial voids. This bio‐inspired approach stabilizes the biomaterial to match the robustness of bulk hydrogels without compromising injectability, mimicking the initial ...
Zhipeng Deng, Camila B. Tovani, Simona Bianco, Gianni Comandini, Aya Elghajiji, Mina Aleemardani, Roxana Moscalu, Jeremie Zappia, Bianca Fernandes, Olivia Annett, Chrissy L. Hammond, Jason Wong, Dave J. Adams, Fabrizio Scarpa, Michael R. Whitehouse, Annela M. Seddon, James P. K. Armstrong   +16 more
wiley   +1 more source

Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs

IEEE Access
In the past three decades, a lot of Petri net-based methods have been proposed for deadlock prevention/liveness enforcing in flexible manufacturing systems (FMSs).
Murat Uzam, Zhiwu Li, Mohammed A. El-Meligy, Mohamed A. Sharaf, Qiwei Tang   +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, Sadani, Tarek, Saqui-Sannes, Pierre de   +2 more
core   +1 more source

Mechanical and Electrical Phenotype of hiPSC‐Cardiomyocytes on Fibronectin‐Based Hydrogels

Advanced Healthcare Materials, EarlyView.
We introduce fibronectin‐based PEG hydrogels with controlled rigidity to enable the culture of iPSC‐derived cardiomyocytes. These substrates offer an alternative to the current culture of these cells on fibronectin‐coated glass, providing enhanced structural and functional behavior. The system provides a more physiologically relevant platform to assess
Ana Da Silva Costa, Lineta Stonkute, Sara Trujillo, Mariana Azevedo Gonzalez Oliva, Francis Burton, Matthew J. Dalby, Oana Dobre, Godfrey Smith, Manuel Salmeron‐Sanchez   +8 more
wiley   +1 more source

Dynamic modeling of web purchase behavior and e-mailing impact by Petri net [PDF]

In this article, the authors introduce Petri nets to model the dynamics of web site visits and purchase behaviors in the case of wish list systems.
BALAGUE, Christine, LEE, Janghyuk
core  

Modelling, reduction and analysis of Markov automata (extended version) [PDF]

, 2013
Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL.
Guck, Dennis, Hatefi, Hassan, Hermanns, Holger, Katoen, Joost-Pieter, Timmer, Mark   +4 more
core   +2 more sources

ε-TPN: definition of a Time Petri Net formalism simulating the behaviour of the timed grafcets [PDF]

, 2019
Médésu Sogbohossou, Médésu Sogbohossou, Antoine Vianou, Nabil Gmati, Éric Badouel, Bruce W. Watson   +5 more
openalex   +1 more source

Co‐Electrospinning Extracellular Matrix with Polycaprolactone Enables a Modular Approach to Balance Bioactivity and Mechanics of a Multifunctional Bone Wrap

Advanced Healthcare Materials, EarlyView.
The incorporation of nondigested ECM and synthetic polymers into a co‐electrospinning system enables the decoupling of bioactivity and mechanical properties within a single wrap. This technique is used to develop a multifunctional bone wrap that achieves augmented membrane durability, sustained infection control, and enhanced vascularity for use in ...
Sarah Jones, Madeline Laude, Zeenat Oyebanji, Ruchi Birur, Andres Luengo Martinez, Isabelle Gilbert, Phillip Baek, Nichole Longbottom, Nicole McCullough, Staci J. Horn, Chien‐Yu Lin, Matthew J. Lohr, Fred Clubb, Manuel K. Rausch, Elizabeth Cosgriff‐Hernandez   +14 more
wiley   +1 more source

Designing Traffic Light Signals to Ease Congestion Caused by Traffic Accidents Using Timed Petri Net

Applied Sciences
This study develops a timed Petri net (TPN)-based controller to mitigate traffic congestion resulting from sudden accidents by adapting traffic light sequences in real-time.
Ter-Chan Row, Shih-Chih Lee, Jui-Fu Cheng   +2 more
doaj   +1 more source