Results 51 to 60 of about 4,712 (265)
Simulating Petri Nets with Inhibitor and Reset Arcs
Труды Института системного программирования РАН, 2019 Event logs of software systems are used to analyze their behaviour and inter-component interaction. Artificial event logs with desirable specifics are needed to test algorithms supporting this type of analysis. Recent methods allow to generate artificial
Pavel Аlexeevitch Pertsukhov +1 more
doaj +1 more source
Analysis of Petri Nets and Transition Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets.
Eike Best, Uli Schlachter
doaj +1 more source
Magneto‐Ionic Devices With Polymer‐Based Electrolytes
Advanced Functional Materials, EarlyView.Polymer electrolytes are introduced for magneto‐ionic devices based on hydroxide and hydrogen ions. The magneto‐ionic effect results in a pronounced voltage‐controlled variation of coercivity in both devices. The switching speed is in the range of 100 ms.
Markus Gößler +3 more
wiley +1 more source
Modelling and Simulation of Queuing Models through the concept of Petri Nets
Advances in Distributed Computing and Artificial Intelligence Journal, 2020 In recent years Petri Nets has been in demand due to its visual depiction. Petri Nets are used as an effective method for portraying synchronization, a concurrency between different system activities.
Shadab Siddiqui +2 more
doaj
Configuration‐Encoded Cell Alignment by Light‐Gated Silicon Photovoltaic Microcell Arrays
Advanced Functional Materials, EarlyView.Light‐gated silicon photovoltaic microcells convert pulsed illumination into localized electrical cues. Arranging otherwise similar microcells into four‐lobed, six‐lobed, or circular patterns directs fibroblasts into corresponding local arrangements without wired stimulation.
Yifan Tao +7 more
wiley +1 more source
Advanced Healthcare Materials, EarlyView.This work introduces a “cancer‐in‐a‐well” technology that recreates tumor heterogeneity in vitro using multitype spheroid arrays. Combining bioprinting/microdispensing with microstructured culture devices, the system improves drug screening and modeling of tumor complexity.
Simone Bonetti +10 more
wiley +1 more source
Advanced Healthcare Materials, EarlyView.Three‐dimensional bioprinting transforms breast cancer modeling from simple constructs into spatially organized, multicellular, perfused, and patient‐derived platforms. This review shows how bioinks, cellular composition, architecture, and flow govern tumor behavior and drug response, while revealing why complexity alone is insufficient without ...
Mustafa Nakipoglu +7 more
wiley +1 more source
T-invariants for jumping Petri nets [PDF]
Computer Science Journal of Moldova, 2001 This paper introduces the notions of T-invariants for the class of finite jumping Petri nets, and extends the results concerning T-invariants from classical Petri nets.
Cristian Vidrascu
doaj
IEEE Access, 2018 B2C is a commercial retail model of e-commerce for selling products and services directly to consumers. To solve the credit risk issues in B2C e-commerce, in this paper, a credit risk game mechanism is proposed based on game theory and logical Petri nets
Wei Liu +4 more
doaj +1 more source