Results 91 to 100 of about 31,117 (298)

Comparative study and categorization of high-level petri nets

Journal of Systems and Software, 1998
Abstract The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems specification, analysis and verification. However, classical (low-level) models suffer from the state explosion problem as resulting PNs become larger.
Vassilis C. Gerogiannis, Achilles Kameas, Panayiotis E. Pintelas   +2 more
openaire   +1 more source

Assembly of Cell‐Seeded 3D Printed Hydrogel Modules with Perfusable Channel Networks

Advanced Functional Materials, EarlyView.
Macroscale assembly was utilized to prepare perfusable tissue constructs from individually 3D printed hydrogel modules with embedded branched channel networks and port arrays for cell seeding. Novel multi‐material bioreactors were fabricated to facilitate the gluing of individual modules and the perfusion culture of assembled modular constructs seeded ...
Zachary J. Geffert, Daniel Fougnier, Bo Van Durme, Jenna Grutzmacher, Ryan Clarke, Susan Cao, Zhenghao Li, Ujjwal Aryal, Jason A. Horton, Sandra Van Vlierberghe, Pranav Soman   +10 more
wiley   +1 more source

A formal approach towards IoT-enabled mechanism for digital polio system using Colured Petri Net

Egyptian Informatics Journal
Polio remains an extreme health challenge in numerous weak and high-risk regions such as Pakistan, Afghanistan, Nigeria mainly due to ineffective monitoring and the lack of integrated digital systems for immunization organization and management.
Shahbaz Ahmad, Adeel Ahmed, Nazik Alturki, Sajjad Hussain, Saima Abdullah   +4 more
doaj   +1 more source

Analyzing safety and fault tolerance using time Petri nets [PDF]

, 1984
The application of time Petri net modelling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault tolerance.
Leveson, Nancy G., Stolzy, Janice T.
core   +1 more source

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

Automatic Generation of Object Models for Process Planning and Control Purposes using an International standard for Information Exchange [PDF]

Journal of Systemics, Cybernetics and Informatics, 2003
In this paper a formal mapping between static information models and dynamic models is presented. The static information models are given according to an international standard for product, process and resource information exchange, (ISO 10303-214).
Petter Falkman, Johan Nielsen, Bengt Lennartson   +2 more
doaj  

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

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

Fluid Forces Control Structural Remodeling of Blind‐Ended Lymphatic Microvessels

Advanced Healthcare Materials, EarlyView.
Using innovative microfluidic biofabrication with fluid mechanical insights, we recapitulated the blind‐ended microanatomy and physiological drainage properties of capillary lymphatics. Our results reveal the interrelationship between intra‐ and extraluminal regions of lymphatic vessels due to flow‐induced sprouting and morphological changes that ...
Jacob C. Holter, Shashwat S. Agarwal, Joseph W. Tinapple, Joseph M. Barlage, Travis H. Jones, Jonathan W. Song   +5 more
wiley   +1 more source

Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation

, 2005
Detailed modeling of processors and high performance cycle-accurate simulators are essential for today's hardware and software design. These problems are challenging enough by themselves and have seen many previous research efforts.
Dutt, Nikil, Reshadi, Mehrdad
core   +1 more source