Results 81 to 90 of about 1,107,230 (292)
Advanced Materials, EarlyView.A novel selective laser sintering and graphitization (SLSG) 3D printing technology enables unibody fabrication of compacted insulating structures and conductive circuits in fluidic‐integrated wearable electronics through adaptive photonic modulation.
Li Zhang, Wing Cheung Mak
wiley +1 more source
Deterministic Petri net languages as business process specification language. [PDF]
Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for ...
De Backer, Manu, Snoeck, Monique
core
Modeling interactive memex-like applications based on self-modifiable petri nets [PDF]
, 2004 This paper introduces an interactive Memex-like application using a self-modifiable Petri Net model – Self-modifiable Color Petri Net (SCPN). The Memex (“memory extender”) device proposed by Vannevar Bush in 1945 focused on the problems of “locating ...
Guan, SU, Liu, W
core +1 more source
Моделирование и анализ информационных систем, 2010 A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC format into a monochrome Petri net is suggested.
M. G. Dorrer
doaj
Advanced Materials, EarlyView.A chemically defined PEG‐based microgel platform enables scalable, reproducible production of three‐dimensional microgel‐iPSC constructs in multiple sizes. The system is compatible with high‐throughput automation and supports human iPSC expansion and differentiation within a single construct, including directed differentiation into cardiac organoids ...
Laura Klasen +8 more
wiley +1 more source
Lower and upper bounds of shortest paths in reachability graphs
International Journal of Mathematics and Mathematical Sciences, 2004 We prove the following property for safe marked graphs, safe conflict-free Petri nets, and live and safe extended free-choice Petri nets. We prove the following three results. If the Petri net is a marked graph, then the length of the shortest path is at
P. K. Mishra
doaj +1 more source
Soft and Transient Bioelectronics Enabled by Polymer‐Free Ti3C2Tx MXene Hydrogels
Advanced Materials, EarlyView.We present Ti3C2Tx MXene hydrogel (MXgel) bioelectronics, a soft, flexible, and fully transient platform for high‐fidelity neural recording and stimulation. MXgel bioelectronics exhibit exceptional electrical conductivities, low electrochemical impedances, and high charge injection capacities.
Raghav Garg +15 more
wiley +1 more source
Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm
Моделирование и анализ информационных систем, 2011 The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal algorithm was constructed. The algorithm and its input string are encoded by nonnegative integer numbers and put into dedicated places of the Petri net which ...
D. A. Zaitsev
doaj
A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints
IEEE AccessDeadlocks are of paramount importance in resource allocation systems, which are usually treated from the perspective of discrete event systems. This paper develops a deadlock prevention strategy for a system modeled with Petri nets, by endowing ...
Qianlong Zhai +3 more
doaj +1 more source
Comparative Analysis of Sequential and Combinatorial Auctions Based on Petri Nets
IEEE Access, 2018 An auction is a crucial resource allocation mechanism for a supply chain and includes the purchasing price at the winner's bid value, eligible suppliers in winning bidder sets, and business payment terms. A multi-object auction usually involves two types
Xiaodan Zhang +4 more
doaj +1 more source