Cloud-based multi-agent cooperation for IoT devices using workflow-nets
Abstract Most Internet of Things (IoT)-based service requests require excessive computation
which exceeds an IoT device's capabilities. Cloud-based solutions were introduced to …
which exceeds an IoT device's capabilities. Cloud-based solutions were introduced to …
Makespan-driven workflow scheduling in clouds using immune-based PSO algorithm
Cloud Computing is becoming more and more popular for solving problems that need high
concurrency and a lot of resources. Many traditional areas of research choose to solve their …
concurrency and a lot of resources. Many traditional areas of research choose to solve their …
Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming
Deadlock resolution strategies based on siphon control are widely investigated. Their
computational efficiency largely depends on siphon computation. Mixed-integer …
computational efficiency largely depends on siphon computation. Mixed-integer …
Refinement-based hierarchical modeling and correctness verification of cross-organization collaborative emergency response processes
When an emergency occurs, one of the important challenges is how to form an effective and
timely response. An emergency disposal plan is usually organized as a series of emergency …
timely response. An emergency disposal plan is usually organized as a series of emergency …
On algebraic identification of critical states for deadlock control in automated manufacturing systems modeled with Petri nets
Petri nets are an important and popular tool to model and analyze deadlocks in automated
manufacturing systems. The state space of a Petri net model can be divided into two disjoint …
manufacturing systems. The state space of a Petri net model can be divided into two disjoint …
Adaptive graph embedding with consistency and specificity for domain adaptation
Domain adaptation (DA) aims to find a subspace, where the discrepancies between the
source and target domains are reduced. Based on this subspace, the classifier trained by …
source and target domains are reduced. Based on this subspace, the classifier trained by …
Behavior analysis for electronic commerce trading systems: A survey
With the rapid development of the Internet and the continuous progress of computer science
and technology, Internet-based online trading has developed rapidly and improved the …
and technology, Internet-based online trading has developed rapidly and improved the …
Efficiently querying large process model repositories in smart city cloud workflow systems based on quantitative ordering relations
With the development of cloud computing and the rise of smart city, smart city cloud service
platforms are widely accepted by more and more enterprises and individuals. The …
platforms are widely accepted by more and more enterprises and individuals. The …
A package reduction approach to modeling and analysis of cross-organization emergency response processes with privacy protected
The emergency disposals are usually charged by several geographically dispersed and
logically collaborated emergency organizations. In addition, each emergency organization …
logically collaborated emergency organizations. In addition, each emergency organization …
Deadlock detection-oriented unfolding of unbounded Petri nets
The state-space explosion obstructs Petri nets for large-scale system analysis. Net unfolding
techniques have drawn considerable attention to solve this problem. However, existing …
techniques have drawn considerable attention to solve this problem. However, existing …