A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

A History-Based Model for Provisioning EC2 Spot Instances with Cost Constraints

article by Javier Fabra et al published 2017 in Lecture Notes in Computer Science

A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems

A Petri net based deadlock prevention policy for flexible manufacturing systems

A Reliable and Scalable Service Bus Based on Amazon SQS

Adaptive exception handling for scientific workflows

article by Rafael Tolosana-Calasanz et al published 2009 in Concurrency and Computation: Practice and Experience

An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows

article

Analyzing behavioral properties of semantic business processes with parametric data

Automatic synthesis of colored Petri nets for the control of FMS

Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes

Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources

article published in 2000

Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution

Control and data flow compatibility in the interaction between dynamic business processes

Cost Estimation for the Provisioning of Computing Resources to Execute Bag-of-Tasks Applications in the Amazon Cloud

Cost Evaluation of Migrating a Computation Intensive Problem from Clusters to Cloud

DENEB: a platform for the development and execution of interoperable dynamic Web processes

article

Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform

Exception handling patterns for hierarchical scientific workflows

scholarly article published 2008

Flow and Data Compatibility for the Correct Interaction between Web Processes

Model Checking Analysis of Semantically Annotated Business Processes

article

On Interlinking of Grids: A Proposal for Improving the Flexibility of Grid Service Interactions

Parallel computation of the reachability graph of petri net models with semantic information

RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes

Runtime Protocol Binding: Flexible Service Integration by Means of Flexible Service Interactions

Simulation and Realistic Workloads to Support the Meta-scheduling of Scientific Workflows

Solving the Interoperability Problem by Means of a Bus

Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets