<rdf:RDF
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
    xmlns:s='http://snipsnap.org/rdf/snip-schema#'
    xml:base='http://www.gridworkflow.org/snips/gridworkflow/rdf'>
    <s:Snip rdf:ID='Woflan'
         s:name='Woflan'
         s:cUser='bassheide'
         s:oUser='bassheide'
         s:mUser='Nuanda'>
        <s:content>Woflan is a &quot;Petrinetbased workflow diagnosis tool&quot; developed at TU/e in the Netherlands. The Woflan program allows a user to input a workflow specification in file formats from several commercial workflow applications including Staffware, COSA \[wwwcosa\], and Protos.&#xA;Woflan produces a descriptive, warning, and error messages from the input file.&#xA;Woflan checks workflows for correctness, and generates diagnostics to help repair problems \[Verbeek00\].&#xA;&#xA;1 Resources&#xA; - {link:Woflan webpage|http://tmitwww.tm.tue.nl/research/woflan/index.htm}&#xA; - {link:Workflow @ Staffware|http://www.staffware.com/products/}&#xA; - {link:Protos system|http://www.pallas-athena.com/}&#xA;</s:content>
        <s:mTime>2004-09-15 13:31:00.471</s:mTime>
        <s:cTime>2004-09-13 10:21:21.266</s:cTime>
        <s:comments
             rdf:type='http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag'/>
        <s:snipLinks>
            <rdf:Bag>
                <rdf:li rdf:resource='#Projects'/>
                <rdf:li rdf:resource='#snipsnap-index'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Projects/'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Monitoring and Controlling'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Glossary/Workflow-oriented Optimization Model'/>
                <rdf:li rdf:resource='#snipsnap-search'/>
                <rdf:li rdf:resource='#Gamma-calculus'/>
                <rdf:li rdf:resource='http://www.gridworkflow.org/snips/gridworkflow/rdf#Workflow Description Languages'/>
            </rdf:Bag>
        </s:snipLinks>
        <s:attachments
             rdf:type='http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag'/>
    </s:Snip>
</rdf:RDF>