|
<?xml version="1.0" encoding="utf-8"?>
<PTNet xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
<Places>
<Place Name="New" />
<Place Name="Confirmed" />
<Place Name="Fixed" />
<Place Name="Verified" />
<Place Name="Rejected" />
<Place Name="Closed" />
</Places>
<Transitions>
<Transition Name="Create" MethodName="Create" Weight="10">
<InputPlacesCSV></InputPlacesCSV>
<OutputPlacesCSV>New</OutputPlacesCSV>
</Transition>
<Transition Name="Confirm" MethodName="Confirm">
<InputPlacesCSV>New</InputPlacesCSV>
<OutputPlacesCSV>Confirmed</OutputPlacesCSV>
</Transition>
<Transition Name="Fix1" MethodName="Fix">
<InputPlacesCSV>New</InputPlacesCSV>
<OutputPlacesCSV>Fixed</OutputPlacesCSV>
</Transition>
<Transition Name="Fix2" MethodName="Fix" Weight="3">
<InputPlacesCSV>Confirmed</InputPlacesCSV>
<OutputPlacesCSV>Fixed</OutputPlacesCSV>
</Transition>
<Transition Name="Verify" MethodName="Fix">
<InputPlacesCSV>Fixed</InputPlacesCSV>
<OutputPlacesCSV>Verified</OutputPlacesCSV>
</Transition>
<Transition Name="Close" MethodName="Close" Weight="2.7">
<InputPlacesCSV>Verified</InputPlacesCSV>
<OutputPlacesCSV>Closed</OutputPlacesCSV>
</Transition>
<Transition Name="Reopen1" MethodName="Reopen">
<InputPlacesCSV>Confirmed</InputPlacesCSV>
<OutputPlacesCSV>New</OutputPlacesCSV>
</Transition>
<Transition Name="Reopen2" MethodName="Reopen" Weight="0.2">
<InputPlacesCSV>Rejected</InputPlacesCSV>
<OutputPlacesCSV>New</OutputPlacesCSV>
</Transition>
<Transition Name="Reopen3" MethodName="Reopen">
<InputPlacesCSV>Verified</InputPlacesCSV>
<OutputPlacesCSV>Confirmed</OutputPlacesCSV>
</Transition>
<Transition Name="Reopen4" MethodName="Reopen" Weight="1.5">
<InputPlacesCSV>Fixed</InputPlacesCSV>
<OutputPlacesCSV>Confirmed</OutputPlacesCSV>
</Transition>
<Transition Name="Reject1" MethodName="Reject" Weight="2">
<InputPlacesCSV>New</InputPlacesCSV>
<OutputPlacesCSV>Rejected</OutputPlacesCSV>
</Transition>
<Transition Name="Reject2" MethodName="Reject">
<InputPlacesCSV>Confirmed</InputPlacesCSV>
<OutputPlacesCSV>Rejected</OutputPlacesCSV>
</Transition>
<Transition Name="Assoc" MethodName="Associate">
<InputPlacesCSV>Confirmed, Fixed</InputPlacesCSV>
<OutputPlacesCSV>Confirmed, Fixed</OutputPlacesCSV>
</Transition>
</Transitions>
</PTNet>
|
By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.
If a file you wish to view isn't highlighted, and is a text file (not binary), please
let us know and we'll add colourisation support for it.
I started programming as a kid and went through basic, C and assembler. I got a MSc.CS from University of Aarhus in 1998 and have maintained an interest for computer science ever since, that I enjoy applying to the problems I come across. I have worked in different roles as a programmer, architect, project manager and consulting in many different areas including databases, cryptography, server architecture and distributed systems. I am currently focussing on the testing done during development and seek to improve this through a combination of approach, skill and technology.