Results 121 to 130 of about 8,449 (302)
Subtyping for Hierarchical, Reconfigurable Petri Nets
, 2018 Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure
Padberg, Julia
core
A survey of the PEPA tools [PDF]
, 2003 This paper surveys the history and the current state of tool support for modelling with the PEPA stochastic process algebra and the PEPA nets modelling language. We discuss future directions for tool support for the PEPA family of languages.
Gilmore, Stephen, Hillston, Jane
core +1 more source
Simulation and Improvement of Patients' Workflow in Heart Clinics during COVID-19 Pandemic Using Timed Coloured Petri Nets. [PDF]
Int J Environ Res Public Health, 2020 Zeinalnezhad M +4 more
europepmc +1 more source
Advanced Science, EarlyView.A new class of biohybrid spheroids is engineered through the self‐assembly of adherent cells and extracellular matrix‐mimetic hydrogel microparticles (microgels). By mimicking a snowballing effect, this approach enables scalable formation of porous, millimeter‐scale spheroids with enhanced cell viability and molecular diffusion.
Zaman Ataie +7 more
wiley +1 more source
Advanced Science, EarlyView.This work develops dynamically softening polyacrylamide hydrogels for time‐resolved imaging during continuous mechanical transitions. The study revealed that mechanotransduction is biphasic; YAP/TAZ inactivation is driven by early loss of the nucleocytoskeletal continuum connecting subnuclear adhesions, F‐actin, and the nuclear envelope, coupled with ...
Alessandro Gandin +12 more
wiley +1 more source
2D Copper MOF Membranes with Precise Pores for Ionic Memory
Advanced Science, EarlyView.. ABSTRACT Biological ion channels play a critical role in the complex physiological processes of living organisms. Inspired by these natural systems, we demonstrate the fabrication of ultrathin 2D copper‐based metal‐organic framework (CuMOF) films and their application to mimic key functionalities of biological membranes. Using a liquid–air interface
Hiran Jyothilal +9 more
wiley +1 more source
, 2019 The reachability semantics for Petri nets can be studied using open Petri nets. For us an "open" Petri net is one with certain places designated as inputs and outputs via a cospan of sets.
Baez, John C., Master, Jade
core +1 more source
Advanced Science, EarlyView.Despite widespread exposure, the mechanisms of manganese neurotoxicity remain poorly understood. Using correlative cryogenic fluorescence and synchrotron X‐ray fluorescence imaging techniques, we show that the Golgi apparatus is the primary accumulation site for manganese in both neurons and astrocytes, and that manganese targets the neuronal ...
Ines Kelkoul +12 more
wiley +1 more source
A SUPPORT TOOL FOR THE REACHABILITY AND OTHER PETRI NETS- RELATED PROBLEMS AND FORMAL DESIGN AND ANALYSIS OF DISCRETE SYSTEMS [PDF]
Annotation. In this paper we deal with the PNtool - a tool for a design, analysis and development of concurrent and time-critical systems specified using the Petri nets (PN) formalism. The PNtool supports four Petri nets dialects: Generalized Petri nets,
Hudák Štefan +2 more
core
, 1987 Determining whether two Petri nets are equivalent is an interesting problem from both practical and theoretical standpoints. Although it is undecidable in the general case, for many interesting nets the equivalence problem is solvable.
Sidwell, Richard D.
core +1 more source