• YAWL

  • Referenced in 60 articles [sw04388]
  • workflow language / workflow management system based on Petri nets and a rigorous analysis of existing ... systems and workflow languages. Unlike traditional systems and (high-level) Petri nets it provides direct...
  • Woflan

  • Referenced in 36 articles [sw07028]
  • Woflan: A Petri-net-based workflow analyzer. Workflow management technology promises a flexible solution ... detect these errors before the workflow is put into production. Woflan is a remarkable product ... Petri-net-based analysis techniques are deployed to verify the correctness of a workflow process...
  • BPEL2oWFN

  • Referenced in 28 articles [sw06956]
  • Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to: check...
  • PGWFT

  • Referenced in 3 articles [sw10573]
  • PGWFT: A Petri Net Based Grid Workflow Verification and Optimization Toolkit. Graphical workflow modeling tools ... workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization ... this, we present a Petri net based grid workflow verification and optimization toolkit, called PGWFT...
  • HybridILPMiner

  • Referenced in 1 article [sw25956]
  • Discovering workflow nets using integer linear programming. Process mining is concerned with the analysis, understanding ... that guarantees to discover relaxed sound workflow nets. Moreover, we devise a filtering algorithm, based...
  • XRL/Flower

  • Referenced in 4 articles [sw04382]
  • XRL/Flower: Supporting inter-organizational workflows using XML/Petri-net technology In this paper, we present the architecture ... based on both XML and Petri nets. Standard XML tools can be deployed to parse ... workflow engine. XRL constructs are automatically translated into Petri-net constructs. On the one hand...
  • Net2Net

  • Referenced in 4 articles [sw38088]
  • significantly larger neural net. During real-world workflows, one often trains very many different neural ... altered the function represented by a neural net when adding layers to it. Using...
  • Yasper

  • Referenced in 2 articles [sw14836]
  • modeling, analyzing and simulating workflow systems, based on Petri nets. Yasper puts Petri net modeling ... specify systems in familiar terms (XOR choice, workflow, cases, roles, processing time and cost ... cooperate with other tools, such as Petri net analyzers, and off-the-shelf software...
  • PetriFlow

  • Referenced in 1 article [sw37920]
  • PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes. The paper ... Petri net based framework for modelling and control of workflow processes. It focuses ... PNEditor module and briefly discusses workflow engine based on the models designed using the PNEditor ... number of places in the resulting Petri net...
  • DaGen

  • Referenced in 6 articles [sw04981]
  • from DAML-S to high-level Petri nets. The Internet provides possibilities for distributed execution ... efficiently compose these tasks a simple workflow description no longer suffices. We therefore suggest ... description based on high-level Petri nets called reference nets, allowing for the consideration...
  • ExSpect

  • Referenced in 11 articles [sw04390]
  • executable specification tool for hierarchical colored Petri nets ExSpect is a software tool for discrete ... other tools, notably Transflow’s COSA workflows and Pallas Athena’s Protos models...
  • WFPDL

  • Referenced in 2 articles [sw02868]
  • levels through a third, conceptual level. Petri nets are used for conceptual process specification, whereas ... based on the ebXML standard respectively workflow management technology. We show how the framework...
  • EMiT

  • Referenced in 4 articles [sw00237]
  • terms of a Petri net. This Petri net is then visualized by the program, automatically ... event log generated by the workflow management system Staffware...
  • MyCoG.NET

  • Referenced in 2 articles [sw17250]
  • Grid services from languages supported by the .NET Common Language Runtime. We demonstrate its programmability ... engineers can create and use domain-specific workflow activity sets for rapid application development using...
  • SACCR

  • Referenced in 0 articles [sw17906]
  • CSAs, the hedging sets, the netting sets and the risk factors. The basis and volatility ... including the margined and the un-margined workflow) have been implemented...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PSPLIB

  • Referenced in 254 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...