The analysis on grid workflow’s deadlock by Petri Nets

No abstract is available for this paper.

• Publication year

  2008

• Venue

  World Congress on Intelligent Control and Automation

• Publication date

  2008-06-25

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/WCICA.2008.4593815
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• QoS-based scheduling of workflow applications on grids

  2007cited by this paper
• The Analysis on Workflow Model Deadlock by Petri Nets

  2006cited by this paper
• QoS-based Scheduling of Workflow Applications on Service Grids

  2005cited by this paper
• Authorization and Access Control of Application Data in Workflow Systems

  2004influential reference
• Dynamic verification of temporal constraints on-the-fly for workflow systems

  2004cited by this paper
• The Anatomy of the Grid: Enabling Scalable Virtual Organizations

  2001cited by this paper
• An Approach to Construction of Reachability Graph of Petri Net

  1999cited by this paper
• The Application of Petri Nets to Workflow Management

  1998cited by this paper

• Using AToM3 for the Verification of Workflow Applications

  2016cites this paper
• UML activity diagram to event-B: A model transformation approach based on the institution theory

  2014cites this paper
• Institution Theory for Services Oriented Applications

  2014cites this paper
• A deadlock detection method for inter-organizational business process based on role network model

  2011cites this paper
• The reduction and deadlock detection of cross-organizational business process based on Pi-calculus

  2011cites this paper