Results 91 to 100 of about 1,247,855 (284)
Symbolic Coloring of Petri Nets
, 2015 In this chapter two methods of automatic coloring of the Petri nets supported by formal reasoning using monotone Gentzen calculus are presented. Coloring is used to determine the State Machine subnets. The colors help to validate intuitively and formally consistency of all sequential processes in the considered discrete state model.
openaire +1 more source
Advanced Science, EarlyView.CDegSR, a new tool for imaging RNA at single molecule level in living cells was developed by researchers. Background noise was eliminated by protein engineering and making it degrade when not bound to its target. This allowed individual RNA molecules to be clearly imaged and tracked.
Shipeng Shao, Hongchen Zhang
wiley +1 more source
HTSN: a complex workflow model based on colored Petri net
Journal of Computer Science and Technology, 2004 Traditional workflow models have obvious shortcomings in describing complex workflows. Such complexity is due not only to the hierarchical property of business process, but also to the complicated dependencies among tasks.
Haiping Zhu, Peigen Li, Guojun Zhang
doaj
International Journal of Prognostics and Health Management, 2019 The aim of this paper is to propose a comprehensive approach for the predictive maintenance of complex equipment. The approach relies on a physics of failure ( PoF ) model based on expert knowledge and data.
Olivier Blancke +7 more
doaj +1 more source
Advanced Science, EarlyView.A reversible five‐phase topological cycle is achieved in a minimalist cobalt formate metal–organic framework. The amorphous phase functions as a programmable reactive hub, selectively reconstructing into four distinct crystalline architectures through cationic templates, humidity, or CO2.
Zhiyu Tao +6 more
wiley +1 more source
A Simulation Model of a Human as a Material Handling Task Performer [PDF]
Journal of Systemics, Cybernetics and Informatics, 2005 In this paper, a framework for a simulation approach to develop a formal representation of control and analysis of human-involved computer integrated manufacturing systems (Hi-CIM) is presented.
Dongmin SHIN, Richard WYSK
doaj
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach
IEEE Access, 2018 Formal verification is a process to ensure that the business process model and notation (BPMN) design model is free of deadlock, livelock, and other undesirable properties that can cause a system crash.
C. Dechsupa, W. Vatanawood, A. Thongtak
doaj +1 more source
Advanced Science, EarlyView.Machine‐learning‐driven transcriptomic analysis identifies FSTL3 as a key tumor‐microenvironment regulator in desmoplastic pancreatic adenocarcinoma. A cRGD‐modified liposome co‐loading gemcitabine and siFSTL3 serves as an irradiation‐triggered in situ nanovaccine. It synergizes with radiotherapy to induce ferroptosis and immunogenic cell death through
Chengyi Huang +11 more
wiley +1 more source
Business process verification: a Petri Net approach. [PDF]
In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification.
De Backer, Manu, Snoeck, Monique
core
Advanced Science, EarlyView.SOX30 drives triple‐negative breast cancer (TNBC) metastasis through a dual mechanism: direct activation of the TNFR2/NF‐κB signaling cascade and subsequent CCL20‐mediated recruitment of tumor‐associated macrophages (TAMs) into the tumor microenvironment.
Pingping Gao +10 more
wiley +1 more source