Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach
Sign Up to like & getrecommendations! Published in 2022 at "Journal of Software: Evolution and Process"
DOI: 10.1002/smr.2412
Abstract: Real‐time systems are complex and composed of time‐bounded events that must satisfy the real‐time constraints for their proper functioning. To cope with the complexity of real‐time systems, model‐driven approaches such as model‐driven architecture (MDA) can… read more here.
Keywords: time; system; petri net; real time ... See more keywords
Presenting a soft sensor for monitoring and controlling well health and pump performance using machine learning, statistical analysis, and Petri net modeling
Sign Up to like & getrecommendations! Published in 2021 at "Environmental Science and Pollution Research"
DOI: 10.1007/s11356-021-12643-0
Abstract: Groundwater resources play a key role in supplying urban water demands in numerous societies. In many parts of the world, wells provide a reliable and sufficient source of water for domestic, irrigation, and industrial purposes.… read more here.
Keywords: machine; machine learning; regression; analysis ... See more keywords
Dual-process modeling and control method for new product collaborative design based on petri net
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Ambient Intelligence and Humanized Computing"
DOI: 10.1007/s12652-018-0904-2
Abstract: With the increase of the complexity of new product design (NPD) and in order to adapt the competitive global market, enterprises are not only facing ensure product quality, they also facing how to shorten the… read more here.
Keywords: petri net; collaborative design; control; process ... See more keywords
Online monitoring for diagnosis of violations of constraints in Petri net models
Sign Up to like & getrecommendations! Published in 2019 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2019.09.113
Abstract: Abstract Fault diagnosis in partially-observed discrete-event systems requires modelling faults as unobservable events within the system. Representing faults as events is not always realistic. For example, some classes of fault are in form of violations… read more here.
Keywords: violations constraints; online monitoring; monitoring diagnosis; diagnosis violations ... See more keywords
A Petri Net Modeling Framework for the Control of Flexible Manufacturing Systems
Sign Up to like & getrecommendations! Published in 2019 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2019.11.111
Abstract: Abstract The changes in manufacturing practice towards increasingly flexible structures demand novel strategies for production scheduling and control. To this end, we introduce an automated model generation scheme that builds upon a coarse description of… read more here.
Keywords: net modeling; framework control; modeling framework; model ... See more keywords
Fault-tolerant system design on cloud logistics by greener standbys deployment with Petri net model
Sign Up to like & getrecommendations! Published in 2017 at "Neurocomputing"
DOI: 10.1016/j.neucom.2016.08.134
Abstract: The cost-aware exploration on enhancing fault-tolerant becomes an important issue of service quality from cloud platform. To approach this goal with greener design, a novel server backup strategy is adopted with two types of standby… read more here.
Keywords: fault tolerant; standbys; cost; petri net ... See more keywords
Risk assessment of FPSO topside based on generalized Stochastic Petri Net
Sign Up to like & getrecommendations! Published in 2021 at "Ocean Engineering"
DOI: 10.1016/j.oceaneng.2021.109732
Abstract: Abstract This paper presents a Generalized Stochastic Petri Net (GSPN) approach to assess risk of FPSO topsides, considering the weather window and imperfect maintenance effect. The FPSO topside is considered as a multi-component system consisting… read more here.
Keywords: petri net; maintenance; risk; fpso ... See more keywords
Smart selection from petri net modeling tools for fast developing a manufacturing system
Sign Up to like & getrecommendations! Published in 2022 at "Cogent Engineering"
DOI: 10.1080/23311916.2021.2020609
Abstract: Abstract Petri net (PN) is a well-known graphical and mathematical model that can be used to describe a system quickly and dynamically. Over the last decade, it has provided many applications for academia research and… read more here.
Keywords: selection petri; system; net modeling; manufacturing system ... See more keywords
Comparing Petri net-based models of biological systems using Holmes
Sign Up to like & getrecommendations! Published in 2022 at "Bioinformatics"
DOI: 10.1093/bioinformatics/btac540
Abstract: MOTIVATION The first and necessary step in systems approach to study biological phenomana is building a formal model. One of the possibilities is to construct a model based on Petri nets. They have an intuitive… read more here.
Keywords: biological systems; models biological; net based; comparing petri ... See more keywords
One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Access"
DOI: 10.1109/access.2018.2843380
Abstract: This paper focuses on establishing a Petri net (PN)-based deadlock prevention policy for large-scale systems whose state spaces are prone to the explosion problem phenomenon. When using the reachability analysis technique, the main burden is… read more here.
Keywords: net based; control; based deadlock; deadlock prevention ... See more keywords
A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2896079
Abstract: Process models can be discovered from event logs generated by the enterprise information system. As business processes’ frequently changing, some activities in event logs may belong to different choice branches, while the actual model can… read more here.
Keywords: logic petri; petri net; model repair; choice ... See more keywords