For the most recent entries see the
Petri Nets Newsletter.
Christensen, S.
-
Jörgensen, Jens Bæk;
Christensen, Sören;
Tuovinen, Antti-Pekka;
Xu, Jianli:
Tool Support for Estimating the Memory Usage of Mobile Phone Software.
2006.
-
Christensen, Søren;
Jørgensen, Jens Bæk:
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.
2004.
-
Christensen, S.;
Kristensen, L.M.:
State Space Analysis of Hierarchical Coloured Petri Nets.
2003.
-
Billington, Jonathan;
Christensen, Søren;
van Hee, Kees;
Kindler, Ekkart;
Kummer, Olaf;
Petrucci, Laure;
Post, Reinier;
Stehno, Christian;
Weber, Michael:
The Petri Net Markup Language: Concepts, Technology, and Tools.
2003.
-
Ratzer, Anne Vinter;
Wells, Lisa;
Lassen, Henry Michael;
Laursen, Mads;
Qvortrup, Jacob Frank;
Stissing, Martin Stig;
Westergaard, Michael;
Christensen, Søren;
Jensen, Kurt:
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
2003.
-
Jørgensen, Jens Bæk;
Christensen, Søren:
Executable Design Models for a Pervasive Healthcare Middleware System.
2002.
-
Beaudouin-Lafon, Michel;
Mackay, Wendy E.;
Jensen, Mads;
Andersen, Peter;
Janecek, Paul;
Lassen, Michael;
Lund, Kasper;
Mortensen, Kjeld;
Munck, Stephanie;
Ratzer, Anne;
Ravn, Katrine;
Christensen, Søren;
Jensen, Kurt:
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets - ETAPS Tool Demonstration Related to TACAS.
2001.
-
Wells, L.;
Christensen, S.;
Kristensen, L.M.;
Mortensen, K.H.:
Simulation Based Performance Analysis of Web Servers.
2001.
-
Christensen, S.;
Jensen, K.;
Mailund, T.:
State Space Methods for Timed Petri Nets.
2001.
-
Beaudouin-Lafon, Michel;
Mackay, Wendy E.;
Andersen, Peter;
Janecek, Paul;
Jensen, Mads;
Lassen, Michael;
Lund, Kasper;
Mortensen, Kjeld;
Munck, Stephanie;
Ratzer, Anne;
Ravn, Katrine;
Christensen, Søren;
Jensen, Kurt:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
2001.
-
Christensen, Søren;
Kristensen, Lars Michael;
Mailund, Thomas:
Condensed State Spaces for Timed Petri Nets.
2001.
-
Christensen, S.;
Petrucci, L.:
Modular analysis of Petri nets.
2000.
-
Christensen, S.;
Kristensen, L.M.;
Mortensen, K.H.;
Thomasen, J.S.:
Capacity Planning of Web Servers using Timed Hierarchical Coloured Petri Nets.
1999.
-
Christensen, S.;
Petrucci, L.:
How to determine and use place flows in colored Petri nets.
1998.
-
Kristensen, Lars M.;
Christensen, Soren;
Jensen, Kurt:
The practitioner's guide to coloured Petri nets.
1998.
-
Moncelet, Gilles;
Christensen, Søren;
Demmou, Hamid;
Paludetto, Mario;
Porras, José:
Analysing a mechatronic system with coloured Petri nets.
1998.
-
Moncelet, Gilles;
Christensen, Søren;
Demmou, Hamid;
Paludetto, Mario;
Porras, José:
Dependability Evaluation of a Simple Mechatronic System Using Coloured Petri Nets.
1998.
-
Christensen, Søren;
Kristensen, Lars Michael;
Mailund, Thomas:
A Sweep-Line Method for State Space Exploration.
.
-
Christensen, Søren;
Kristensen, Lars Michael:
State Space Analysis of Hierarchical Coloured Petri Nets.
1997.
-
Christensen, Søren;
Jørgensen, Jens B.:
Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets.
1997.
-
Christensen, Søren;
Mortensen, Kjeld H.:
Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course.
1997.
-
Christensen, S.;
Mortensen, K.H.:
Parametrisation of Coloured Petri Nets.
1997.
-
Cheng, A.;
Christensen, S.;
Mortensen, K.H.:
Model Checking Coloured Petri Nets Exploiting Strongly Connected Components.
1996.
-
Christensen, Søren;
Petrucci, L.:
Modular State Space Analysis of Coloured Petri Nets.
1995.
-
Christensen, Søren;
Hansen, N.D.:
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs.
1993.
-
Lakos, Charles A.;
Christensen, Søren:
A General Systematic Approach to Arc Extensions for Coloured Petri Nets.
1993.
-
Christensen, Søren;
Hansen, N.D.:
Coloured Petri Nets Extended with Channels for Synchronous Communication.
1992.
-
Christensen, Søren;
Petrucci, Laure:
Towards a Modular Analysis of Coloured Petri Nets.
1992.
-
Christensen, Søren;
Jepsen, L.O.:
Modelling and simulation of a network management system using hierarchical coloured Petri nets.
1991.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography