Results 61 to 70 of about 3,623,879 (377)
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
An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica
Journal of Integrative Bioinformatics, 2011 Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task ...
Proß Sabrina, Bachmann Bernhard
doaj +2 more sources
A symbolic algorithm for the synthesis of bounded Petri nets [PDF]
, 2008 This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee the synthesis of a Petri net
A. Ehrenfeucht +14 more
core +1 more source
Electronic Notes in Theoretical Computer Science, 2005 AbstractPersistence of information is common in modern computer systems. This paper describes how to extend Petri nets, a traditional model of concurrent and distributed computations, to take account of conditions that are persistent. We found use for this kind of nets in modelling untrustworthy networks on which messages are exchanged according to a ...
Federico Crazzolara, Glynn Winskel
openaire +2 more sources
3D Bioprinting of Thick Adipose Tissues with Integrated Vascular Hierarchies
Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.An advanced 3D bioprinting technique is used here to create thick adipose tissues with a central, vessel and extensive branching. The construct is made using alginate, gelatin and collagen‐based bioinks. Flow through the complex vessel network is demonstrated as well as its successful integration with a femoral artery following implantation in a rat ...
Idit Goldfracht +5 more
wiley +1 more source
Acta Polytechnica, 2005 One specific model of a digital system in different types of Petri nets is presented. The formal definitions of the basic (black-and-white) Petri net, a place/transition net (P/T net), an arc-constant coloured Petri net (ac-CPN) and a coloured Petri net (
H. Kubátová
doaj
MAX PLUS ALGEBRA OF TIMED PETRI NET FOR MODELLING SINGLE SERVER QUEUING SYSTEMS
Barekeng, 2023 This research modified a single server queuing system using timed Petri net. We add two places, a transition and its appropriate arcs. This research also considered all the holding times in the timed Petri net.
Zumrotus Sya'diyah
doaj +1 more source
Mathematics base for navigation mobile robot using reachability petri net [PDF]
, 2018 Navigation is the journey that brings the precision and accuracy especially for the trip from one place to many destinations. Traveling mobile robot will be challenged when there are plenty of travel options and obstacles; it is necessary for special ...
Basil David Daniel, Basil David Daniel +4 more
core +1 more source
Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.By fabricating and covalently assembling gelatin methacryloyl (GelMA) porous microgels, a new class of granular hydrogel scaffolds with hierarchical porosity is developed. These scaffolds have a significantly higher void fraction than their counterparts made up of nonporous microgels, enhancing cell recruitment and tissue integration. This research may
Alexander Kedzierski +9 more
wiley +1 more source
Bounded LTL Model Checking with Stable Models
, 2001 In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous systems a generalisation of communicating automata, 1-safe Petri nets, are used.
F. Fages +4 more
core +8 more sources