Lisa Wells

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

5EEKurt Jensen, Lars Michael Kristensen, Lisa Wells: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT 9(3-4): 213-254 (2007)
4EELisa Wells: Performance analysis using CPN tools. VALUETOOLS 2006: 59
3EELisa Wells, Thomas Maier: Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. ICATPN 2005: 403-422
2EEAnne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN 2003: 450-462
1EELisa Wells: Performance Analysis Using Coloured Petri Nets. MASCOTS 2002: 217-

Coauthor Index

1Søren Christensen [2]
2Kurt Jensen [2] [5]
3Lars Michael Kristensen [5]
4Henry Michael Lassen [2]
5Mads Laursen [2]
6Thomas Maier [3]
7Jacob Frank Qvortrup [2]
8Anne V. Ratzer [2]
9Martin Stig Stissing [2]
10Michael Westergaard [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)