Results 81 to 90 of about 20,794 (264)

Lending Petri nets

Science of Computer Programming, 2015
We study Lending Petri nets, an extension of Petri nets where places may carry a negative number of tokens. This allows for modeling contracts where a participant may promise to give some of her resources under the guarantee that some other resources will eventually be obtained in exchange.
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna   +2 more
openaire   +2 more sources

Bioprinting High‐Cell‐Density Cardiac Tissue Constructs With Sustained Contractile Function

Advanced Healthcare Materials, EarlyView.
Contractile cardiomyocytes in 3D culture provide insights into the behavior of the heart. Combining a 3D bioprinting approach with a multi‐electrode array allows the development of the 3D culture to be monitored over time, and matured cultures allow the effect of drugs on cardiac function to be modelled, replicating effects seen in clinical application.
Priscila Melo, Wing Tai Tung, Harvey Lewis, Kavin Hettiarachchilage, Babis Tzivelekis, Rolando Berlinguer‐Palmini, Ana Marina Ferreira, Jason Gill, Kenneth Dalgarno   +8 more
wiley   +1 more source

PetriScape - A plugin for discrete Petri net simulations in Cytoscape

Journal of Integrative Bioinformatics, 2016
Systems biology plays a central role for biological network analysis in the post-genomic era. Cytoscape is the standard bioinformatics tool offering the community an extensible platform for computational analysis of the emerging cellular network together
Almeida Diogo, Azevedo Vasco, Silva Artur, Baumbach Jan   +3 more
doaj   +1 more source

Engineered Microvascular Model of the Blood–Brain–Tumor Barrier Reveals Endothelial Remodeling in Diffuse Midline Glioma

Advanced Healthcare Materials, EarlyView.
We developed a patient‐derived, functional microfluidic model of the diffuse midline glioma (DMG) blood–brain–tumor barrier (BBTB) comprised of endothelial cells, astrocytes, pericytes, and tumor cells. The system forms perfusable microvasculature, reveals the BBTB retains vascular integrity, identifies DMG‐specific transcriptomic changes distinct from
Kimberly R. Bennett, Yann S. Vanrobaeys, Tessy Teboh, Zakiya Smith, Anderson Scott, Cynthia Hajal, Paula T. Hammond, Joelle P. Straehla   +7 more
wiley   +1 more source

Multicomponent Peptide‐MXene‐Hyaluronic Acid Hydrogel as a Conductive Scaffold for Enhanced Fibroblast Proliferation and Migration Under Electrical Stimulation

Advanced Healthcare Materials, EarlyView.
An electrically conductive FmocFF/MXene/hyaluronic acid hydrogel combines extracellular matrix‐like architecture, self‐healing behavior, oxidation‐resistant conductivity, and biochemical cues in a single scaffold. By enabling physiologically relevant electrical stimulation, the platform enhances fibroblast attachment, proliferation, and migration ...
Offir Loboda, Dana Cohen‐Gerassi, Dor Aaron Goldstein, Or Messer, Bar Favelukis, Ehud Gazit, Maxim Sokol, Lihi Adler‐Abramovich   +7 more
wiley   +1 more source

Acceleration for Petri Nets [PDF]

, 2013
The reachability problem for Petri nets is a central problem of net theory. The problem is known to be decidable by inductive invariants definable in the Presburger arithmetic. When the reachability set is definable in the Presburger arithmetic, the existence of such an inductive invariant is immediate.
openaire   +1 more source

Rational Tuning of Hygroscopic Oscillation of Stacked Nanoflake Assemblies for Continuous Ambient Energy Harvesting

Advanced Materials, EarlyView.
Stacked nanoflake assembly (SNA) membranes can oscillate autonomously, offering opportunities for soft actuation and energy harvesting. This work uncovers the physical mechanism behind the sustained oscillation of SNA membranes in gradient humidity and identifies three governing dimensionless parameters, enabling rational design for optimizing SNA ...
Zijing Zhang, Jimin Fu, Gesa Zhang, Zhihua Liang, Boxun Zhang, Haimin Yao   +5 more
wiley   +1 more source

Transformation of Business Process Model and Notation models onto Petri nets and their analysis

Advances in Mechanical Engineering, 2018
Business Process Model and Notation is known as a widely used standard for business processes modeling. However, its main drawback is that it lacks formal semantics, leading to some undesirable properties, such as livelocks and deadlocks, such that it ...
Umair Mutarraf, Kamel Barkaoui, Zhiwu Li, Naiqi Wu, Ting Qu   +4 more
doaj   +1 more source

Reprogramming the Immunosuppressive Microenvironment in Triple‐Negative Breast Cancer via FAP‐Targeted Nanoprobes for Multimodal Imaging and Photothermal Therapy

Advanced Materials, EarlyView.
Targeting cancer‐associated fibroblasts (CAFs) with fibroblast activation protein (FAP)‐directed nanoprobes for multimodal imaging and photothermal remodeling of the immunosuppressive microenvironment to enhance immunotherapy in triple‐negative breast cancer (TNBC).
Ling Zhan, Yanhong Chen, Jingjing Hu, Chunting Wang, Huanhuan Liu, Defan Yao, Dengbin Wang   +6 more
wiley   +1 more source

Deterministic Nucleation of Nanocrystal Superlattices on 2D Perovskites for Light‐Funneling Heterostructures

Advanced Materials, EarlyView.
This work investigates the heterogeneous nucleation of CsPbBr3${\rm CsPbBr}_3$ nanocrystal superlattices along the faces of 2D PEA2PbBr4${\rm PEA}_2{\rm PbBr}_4$ layered perovskite microcrystals. Core–crown and core–shell heterostructure morphologies are obtained.
Umberto Filippi, Alexander Schleusener, Simone Lauciello, Roman Krahne, Dmitry Baranov, Liberato Manna, Masaru Kuno   +6 more
wiley   +1 more source