Results 91 to 100 of about 27,619 (295)
Computer aided and Petri net design for decision-making organizations [PDF]
, 1988 I. M. Kyratzoglou
openalex +1 more source
Validation of Petri Net Models by ‘Petri-Net-Machine’
IFAC Proceedings Volumes, 1986 Abstract The successful application of Petri nets for system specification has produced the call for software tools which as a part of CAD-systems may be used to prove the correctness of the specification . ‘Petri-Net-Machine’ is the first tool of this kind which runs on microcomputers .
openaire +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 +2 more sources
Protein‐Like Polymers Targeting Keap1/Nrf2 as Therapeutics for Myocardial Infarction
Advanced Materials, EarlyView.We describe a Keap1 targeting protein‐like polymer (PLP) which activates Nrf2, an important cytoprotective transcription factor for relieving myocardial infarction‐induced oxidative stress. This PLP increases cell survival in vitro in multiple relevant cardiac cell types and elicits pro‐reparative responses, improving cardiac function in a preclinical ...
Joshua M. Mesfin +17 more
wiley +1 more source
Petri Net Controlled Grammars: the Case of Special Petri Nets
, 2009 JUCS - Journal of Universal Computer Science Volume Nr.
Dassow,Jürgen, Turaev,Sherzod
openaire +3 more sources
Petri Net Transformations [PDF]
, 2008 The main idea of Petri net transformations is to extend the classical theory of Petri nets by a rule-based technique that allows to model the changes of the Petri net structure. There have been already a few approaches to describe transformations of Petri nets formally (e.g. in [2, 3, 31, 6, 32]).
Tony Modica +6 more
openaire +2 more sources
Advanced Materials, EarlyView.Carbon‐based piezoelectric materials are systematically categorized based on their structural and functional properties. The mechanisms of stress‐induced charge transfer are elucidated, and their applications are explored across three key domains: piezoelectric catalysis for energy conversion and environmental remediation, piezoelectric biomedical ...
Mude Zhu +3 more
wiley +1 more source
Research on Mapping UML to Petri-Net in System Modeling
MATEC Web of Conferences, 2016 The paper analyzes the need of complex system modeling.According to the advantage and shortage of UML and Perti net, comprehensive usage of Petri net and UML can efficiently improve the comprehensiveness, consistency, accuracy and completeness of the ...
Wang Chun Jian, Fan Hong Jun, Pan Shuang
doaj +1 more source
On‐the‐Fly Synthesis of Freestanding Spin‐Crossover Architectures With Tunable Magnetic Properties
Advanced Materials, EarlyView.3D flow‐focusing devices are an ideal platform for the processing and integration of functional materials within polymeric matrices. In this article, A. Tuan Ngo, D. Aguilà, T. Sotto Mayor, M. Palacios‐Corella, J. Puigmartí‐Luis show the on‐the‐fly processing of a prototypical SCO material—known for its challenging processability—thereby opening new ...
Anh Tuan Ngo +12 more
wiley +1 more source
Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs
IEEE AccessIn the past three decades, a lot of Petri net-based methods have been proposed for deadlock prevention/liveness enforcing in flexible manufacturing systems (FMSs).
Murat Uzam +4 more
doaj +1 more source