A state-of-the-art review on performance measurement petri net models for safety critical systems of NPP
NK Jyotish, LK Singh, C Kumar - Annals of Nuclear Energy, 2022 - Elsevier
Considering the safety significance, safety critical systems (SCS) of nuclear power plant
(NPP) needs to be validated for their performance. Authors are putting their continuous …
(NPP) needs to be validated for their performance. Authors are putting their continuous …
Predicting quality of service for selection by neighborhood-based collaborative filtering
Quality-of-service-based (QoS) service selection is an important issue of service-oriented
computing. A common premise of previous research is that the QoS values of services to …
computing. A common premise of previous research is that the QoS values of services to …
Petri net modeling and cycle-time analysis of dual-arm cluster tools with wafer revisiting
There are wafer fabrication processes in cluster tools that require wafer revisiting. If a swap
strategy is applied to dual-arm cluster tools handling wafer revisiting, a three-wafer …
strategy is applied to dual-arm cluster tools handling wafer revisiting, a three-wafer …
Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems
ZW Li, GY Liu, HM Hanisch… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
Deadlocks are an undesirable situation in automated flexible manufacturing systems (FMS).
Their occurrences often deteriorate the utilization of resources and may lead to catastrophic …
Their occurrences often deteriorate the utilization of resources and may lead to catastrophic …
Timed compatibility analysis of web service composition: A modular approach based on Petri nets
Recently, the temporal constraint satisfiability is regarded as an important criterion in Web
service composition to guarantee its timely completion. This leads to a new challenge in …
service composition to guarantee its timely completion. This leads to a new challenge in …
Colbar: A collaborative location-based regularization framework for QoS prediction
Abstract Quality-of-Service (QoS) is a fundamental element in Service-Oriented Computing
(SOC) domain. At the ongoing age of Web 2.0, predicting the missing QoS values becomes …
(SOC) domain. At the ongoing age of Web 2.0, predicting the missing QoS values becomes …
Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns
Workflow management technology has become a key means to improve enterprise
productivity. More and more workflow systems are crossing organizational boundaries and …
productivity. More and more workflow systems are crossing organizational boundaries and …
Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems
YF Chen, ZW Li, MC Zhou - IEEE Transactions on Systems …, 2011 - ieeexplore.ieee.org
This paper presents two iterative deadlock prevention policies for flexible manufacturing
systems (FMSs). Both can find a maximally permissive liveness-enforcing supervisor with a …
systems (FMSs). Both can find a maximally permissive liveness-enforcing supervisor with a …
A partial selection methodology for efficient QoS-aware service composition
As web service has become a popular way for engineering software on the Internet, quality
of service (QoS) which describes non-functional characteristics of web services is often …
of service (QoS) which describes non-functional characteristics of web services is often …
[图书][B] Modular system design and evaluation
MS Levin - 2015 - Springer
The frame approach for representing knowledge (ie, collection of frames are linked together
into frame-system) has been suggested by Marvin Minsky. In this approach, the frame …
into frame-system) has been suggested by Marvin Minsky. In this approach, the frame …