Results 31 to 40 of about 27,619 (295)
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g.
Ádám Horváth, András Molnár
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2006 AbstractThe aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software engineering.
Julia Padberg +2 more
openaire +2 more sources
Behavior modeling method for functional verification of product considering ways of usage
Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2017 Recent industrial globalization has increased importance of functional verification in product design considering various ways of usage. In particular, for shortening development time, it is desired to perform functional verification and necessary ...
Eiji MORINAGA +3 more
doaj +1 more source
Separators in Continuous Petri Nets
Logical Methods in Computer Science, 2022 AbstractLeroux has proved that unreachability in Petri nets can be witnessed by a Presburger separator, i.e. if a marking $$\boldsymbol{m}_\text {src}$$ m src cannot reach a marking $$\boldsymbol{m}_\text {tgt}$$
Michael Blondin, Javier Esparza
openaire +4 more sources
Molecular Oncology, EarlyView.MET variants in the N‐lobe of the kinase domain, found in hereditary papillary renal cell carcinoma, require ligand stimulation to promote cell transformation, in contrast to other RTK variants. This suggests that HGF expression in the microenvironment is important for tumor growth in such patients. Their sensitivity to MET inhibitors opens the way for
Célia Guérin +14 more
wiley +1 more source
Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net
Promet (Zagreb), 2019 In order to satisfy the requirements of International Civil Aviation Organization (ICAO) for aircraft taxi route planning in Advanced Surface Movement Guidance and Control System (A-SMGCS), an airport surface operation modelling and simulation approach ...
Zhigang Su, Mengqi Qiu
doaj +1 more source
Molecular Oncology, EarlyView.Chronic TGF‐β exposure drives epithelial HCC cells from a senescent state to a TGF‐β resistant mesenchymal phenotype. This transition is characterized by the loss of Smad3‐mediated signaling, escape from senescence, enhanced invasiveness and metastatic potential, and upregulation of key resistance modulators such as MARK1 and GRM8, ultimately promoting
Minenur Kalyoncu +11 more
wiley +1 more source
Electronic Notes in Theoretical Computer Science, 2005 AbstractPersistence of information is common in modern computer systems. This paper describes how to extend Petri nets, a traditional model of concurrent and distributed computations, to take account of conditions that are persistent. We found use for this kind of nets in modelling untrustworthy networks on which messages are exchanged according to a ...
Federico Crazzolara, Glynn Winskel
openaire +2 more sources
FEBS Open Bio, EarlyView.In human monocytic cells THP‐1, a limited uptake of native—not oxidized—LDL/VLDL induced expression of scavenger receptor A and cellular adhesion. Induction was inhibited by lysosomotropic (WR‐1065) and lipophilic (BHT) antioxidants and by siRNAs against ferritinophagy.
Martina Čierna +4 more
wiley +1 more source
Model Petri Net Produksi Tahu Pada Industri Skala Rumah Tangga
Contemporary Mathematics and Applications (ConMathA), 2023 The process of making tofu includes several steps, namely the process of soaking soybeans, washing soybeans, milling soybeans, boiling or cooking, filtering, settling and adding vinegar. The purpose of this study it was to obtain a Petri Net model of the
Deny Murdianto +2 more
doaj +1 more source