Modeling and analysis of mining subsidence disaster chains based on stochastic Petri nets
Sign Up to like & getrecommendations! Published in 2018 at "Natural Hazards"
DOI: 10.1007/s11069-018-3190-6
Abstract: Coal mining that results in goaf causes ground surface subsidence. It will in turn cause a disruptive threat to the surface construction, water, and slope body, which constitutes a transitive relationship. In the process of… read more here.
Keywords: petri nets; subsidence disaster; disaster chains; stochastic petri ... See more keywords
Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Shanghai Jiaotong University (Science)"
DOI: 10.1007/s12204-018-2014-x
Abstract: Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems (FMSs). Current deadlock control policies (DCPs) based on mixed integer programming (MIP) cannot detect siphons that cause and cope with… read more here.
Keywords: method; petri nets; algorithm using; using revised ... See more keywords
Selected Aspects of Tobacco-Induced Prothrombotic State, Inflammation and Oxidative Stress: Modeled and Analyzed Using Petri Nets
Sign Up to like & getrecommendations! Published in 2018 at "Interdisciplinary Sciences, Computational Life Sciences"
DOI: 10.1007/s12539-018-0310-7
Abstract: Many factors, such as endothelial dysfunction, inflammation and hemostatic disturbances, affect formation and progression of atherosclerotic plaque. In our study, we have focused on hemostatic disturbances with particular emphasis on the extrinsic pathways of coagulation.… read more here.
Keywords: using petri; tobacco induced; petri nets; selected aspects ... See more keywords
Modelling the flexibility of production systems in Industry 4.0 for analysing their productivity and availability with high-level Petri nets
Sign Up to like & getrecommendations! Published in 2017 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2017.08.1118
Abstract: Abstract Industry 4.0 is characterized by a strong individualization of products under the conditions of a highly flexible production. The customer-oriented production leads directly to complex flexible production systems, which need to be modelled and… read more here.
Keywords: petri nets; production; systems industry; flexible production ... See more keywords
Marking Estimation in Labelled Petri nets by the Representative Marking Graph
Sign Up to like & getrecommendations! Published in 2017 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2017.08.1240
Abstract: Abstract In this paper a method to recognize the set of consistent markings in labelled Petri nets is proposed. In this method, the set of unobservable transitions are partitioned into pseudo-observable and strictly unobservable ones,… read more here.
Keywords: petri nets; labelled petri; marking estimation; marking graph ... See more keywords
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets
Sign Up to like & getrecommendations! Published in 2020 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2021.04.048
Abstract: Abstract The problem of stealthy sensor attacks for labeled Petri nets is considered. An operator observes the plant to establish if a set of critical markings has been reached. The attacker can corrupt the sensor… read more here.
Keywords: sensor attacks; petri nets; labeled petri; attack ... See more keywords
Identifying Petri Nets with Silent Transitions by Event Traces Classification
Sign Up to like & getrecommendations! Published in 2020 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2021.04.052
Abstract: Abstract A method for discovering workflow nets (WFN) with silent transitions from a log of event traces λ is presented. It operates in two stages; in the first one, λ is partitioned into three classes… read more here.
Keywords: abnormal traces; petri nets; event traces; silent transitions ... See more keywords
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Sign Up to like & getrecommendations! Published in 2021 at "Nonlinear Analysis: Hybrid Systems"
DOI: 10.1016/j.nahs.2021.101087
Abstract: Abstract Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and the subsequent states. Different notions of detectability have been proposed in the literature. In this… read more here.
Keywords: strong periodic; periodic detectability; petri nets; labeled petri ... See more keywords
Petri nets and ODEs as complementary methods for comprehensive analysis on an example of the ATM–p53–NF- $$\kappa$$ κ B signaling pathways
Sign Up to like & getrecommendations! Published in 2022 at "Scientific Reports"
DOI: 10.1038/s41598-022-04849-0
Abstract: Intracellular processes are cascades of biochemical reactions, triggered in response to various types of stimuli. Mathematical models describing their dynamics have become increasingly popular in recent years, as tools supporting experimental work in analysis of… read more here.
Keywords: analysis; p53 kappa; petri nets; atm p53 ... See more keywords
Design of scalable agent-based reconfigurable manufacturing systems with Petri nets
Sign Up to like & getrecommendations! Published in 2018 at "International Journal of Computer Integrated Manufacturing"
DOI: 10.1080/0951192x.2018.1429665
Abstract: ABSTRACT Reconfigurable manufacturing systems (RMS) provide a flexible paradigm to deal with frequently changing demand and technologies. Scalability is an important property that determines whether the capacity of RMS can accommodate fluctuation in product demand… read more here.
Keywords: based rms; agent; petri nets; scalable agent ... See more keywords
Hybrid modelling of biological systems using fuzzy continuous Petri nets
Sign Up to like & getrecommendations! Published in 2021 at "Briefings in Bioinformatics"
DOI: 10.1093/bib/bbz114
Abstract: Abstract Integrated modelling of biological systems is challenged by composing components with sufficient kinetic data and components with insufficient kinetic data or components built only using experts’ experience and knowledge. Fuzzy continuous Petri nets (FCPNs)… read more here.
Keywords: petri nets; continuous petri; fuzzy continuous; biological systems ... See more keywords