|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 15 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen |
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.  |
T. Petri Nets and Other Models of Concurrency  |
2009 |
DBLP DOI BibTeX RDF |
Executable Use Cases, healthcare, Workflow Management, Colored Petri Nets |
| 1 | Kristian Bisgaard Lassen, Wil M. P. van der Aalst |
Complexity metrics for Workflow nets. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristian Bisgaard Lassen, Simon Tjell |
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
VDM++, Real-time, Requirements engineering, Coloured petri nets, UML 2.0 |
| 1 | Kristian Bisgaard Lassen, Boudewijn F. van Dongen |
Translating Message Sequence Charts to other Process Languages Using Process Mining. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
synthesis of scenarios-based models, process mining, message sequence charts |
| 1 | Wil M. P. van der Aalst, Kristian Bisgaard Lassen |
Translating unstructured workflow processes to readable BPEL: Theory and implementation. |
Information & Software Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst |
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
Executable use cases, Workflow management, Colored Petri nets, YAWL |
| 1 | Ricardo Jorge Machado, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto, Patrícia Pinto |
Requirements Validation: Execution of UML Models with CPN Tools. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Bækgaard, Jens Bæk Jørgensen, Kristian Bisgaard Lassen |
On Industrial Use of Requirements Engineering Techniques. |
EMISA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Westergaard, Kristian Bisgaard Lassen |
The BRITNeY Suite Animation Tool. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristian Bisgaard Lassen, Wil M. P. van der Aalst |
WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. |
OTM Conferences |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, workflow management, business process management, BPEL4WS |
| 1 | Jens Bæk Jørgensen, Kristian Bisgaard Lassen |
Requirements Engineering for the Adviser Portal Bank System. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
Modelling and simulation of computer systems, requirements elicitation and analysis, Petri nets, formal models, industrial case study |
| 1 | Jan Mendling, Kristian Bisgaard Lassen, Uwe Zdun |
Experiences in Enhancing Existing BPM Tools with BPEL Import and Export. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen |
Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. |
OTM Conferences |
2005 |
DBLP DOI BibTeX RDF |
Workflow Management, Business Process Management, Colored Petri Nets, BPEL4WS |
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")