Results 101 to 110 of about 64,411 (297)
An analytical method for well-formed workflow/Petri net verification of classical soundness
International Journal of Applied Mathematics and Computer Science, 2014 In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes.
Clempner Julio
doaj +1 more source
Performance Optimization for a Class of Petri Nets. [PDF]
Sensors (Basel), 2023 Shi W, He Z, Gu C, Ran N, Ma Z.
europepmc +1 more source
Design and Synthesis of Peptide‐Polyester Conjugates for Cell‐Mediated Scaffold Degradation
Advanced Healthcare Materials, EarlyView.This work describes polycaprolactone (PCL)‐based biomaterials engineered to degrade in response to cell‐secreted proteases. A fast‐degrading peptide (Fast) sequence is integrated into a PCL conjugate backbone to produce a biomaterial that is selectively degraded by multiple cell types compared to its scrambled control (ScrFast).
Korina Vida G. Sinad +7 more
wiley +1 more source
Modeling of critical systems implementing negative events using dual Petri nets
MATEC Web of Conferences, 2018 This work is devoted to solving the problem of modeling critical systems based on the use of modified Petri nets. The dual (binary) Petri net one of the modifications, which allows us to view inversing events at the same time, solving the problem with ...
Ganzhur Marina A. +2 more
doaj +1 more source
Measuring ancient technological complexity and its cognitive implications using Petri nets. [PDF]
Sci Rep, 2023 Fajardo S, Kozowyk PRB, Langejans GHJ.
europepmc +1 more source
Advanced Healthcare Materials, EarlyView.PolyGraph, a flexible graphene‐polycaprolactone nanocomposite, unites conductivity, biocompatibility, and processability for next‐generation neural interfaces. Fabricated into microneedle arrays with ultra‐flexible backings, PolyGraph enables bidirectional neuronal recording and stimulation in brain tissue, advancing brain‐computer interface (BCI) and ...
Jack Maughan +12 more
wiley +1 more source
Protocol for biomodel engineering of unilevel to multilevel biological models using colored Petri nets. [PDF]
STAR Protoc, 2023 Liu F, Heiner M, Gilbert D.
europepmc +1 more source
Structural characterization of decomposition in rate-insensitive stochastic Petri nets [PDF]
, 2012 This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of ...
Boucherie, Richard J. +3 more
core +2 more sources
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
Advanced Healthcare Materials, EarlyView.A tunable bifunctional surface is developed by combining Fc‐binding peptides and RGD motifs to present oriented antibodies alongside integrin‐mediated signaling. The platform selectively captures endothelial colony‐forming cells while promoting their adhesion and proliferation.
Hugo A. Level +5 more
wiley +1 more source