Publications 1991-2002

Beaudouin-Lafon, M., Lassen, H.M.: 
The Architecture and Implementation of CPN2000, a Post-WIMP Graphical
Application. In Proceedings of ACM Symposium on User Interface
Software and Technology (UIST 2000). San Diego (USA), ACM Press, CHI
Letters 2(2):181-190, November 2000.

Beaudouin-Lafon, M., Mackay, W.E., Andersen, P., Janecek, P. Jensen,
M., Lassen, H.M., Lund, K., Mortensen, K., Munck, S., Ratzer, A.V.,
Ravn, K., Christensen, S., Jensen, K.:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured
Petri Nets. In Proceedings of the Tool Demonstrations of the 21st
International Petri Net Conference (ICATPN 2000). Aarhus Denmark, June
2000.

Beaudouin-Lafon, M., Mackay, P. Andersen, W.E., Janecek, P., Jensen,
M., Lassen, M., Lund, K., Mortensen, K., Munck, S., Ratzer, A., Ravn,
K., Christensen, S., Jensen, K.: A Tool for Editing and Simulating
Coloured Petri Nets.  European Joint Conferences on Theory and
Practice of Software (ETAPS 2001). Genova Italy, April 2001, Lecture
Notes in Computer Science, Springer-Verlag 2001, vol. 2031,
pp. 574-577.

Beaudouin-Lafon, M., Mackay, W.E., Andersen, P., Janecek, P., Jensen,
M., Lassen, M., Lund, K., Mortensen, K., Munck, S., Ratzer, A., Ravn,
K., Christensen, S., Jensen, K.:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured
Petri Nets. In J-M Colom, M. Koutny (eds.): Application and
Theory of Petri Nets 2001. Proceedings of the 22nd International Petri
Net Conference (ICATPN 2001). Newcastle upon Tyne England, June 2001,
Lecture Notes in Computer Science vol. 2075, pp. 71-80.

Billington J., Christensen S., Hee K. van, Kindler E., Kummer O., Petrucci
L., Post R., Stehno C., Weber M.:
The Petri Net Markup Language: Concepts, Technology, and Tools. In
Proceedings of the 24th International Conference on Application and Theory
of Petri Nets (ICATPN'2003). Lecture Notes in Computer Science.
Springer-Verlag, 2003.

Billington, J., Gallasch, G., Kristensen, L.M., Mailund, T.:
Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting
Terminal States. To appear in IEEE Transactions on Systems, Man, and
Cybernetics, Part A: Systems and Humans. 

Cheng, A., Christensen, S., Mortensen, K.H.:
Model Checking Coloured Petri Nets Exploiting Strongly Connected
Components. In M.P. Spathopoulos, R. Smedinga, and P. Kozak (Eds).
Proceedings of the International Workshop on Discrete Event Systems,
WODES96. Institution of Electrical Engineers, computing and control
division, August 1996. Edinburgh, Scotland, UK, pp. 169-177, 1996.

Christensen, S., Hansen, N.D.:
Coloured Petri Nets Extended With Place Capacities, Test Arcs and Inhibitor
Arcs. In M. Ajmone-Marsan (Ed.): Application and Theory of Petri Nets 1993.
Proceedings of the 14th International Conference, Chicago, Illinois, USA,
Lecture Notes in Computer Science 691, Springer-Verlag, pp. 186-205, 1993.

Christensen, S., Hansen, N.D.:
Coloured Petri Nets Extended With Channels for Synchronous Communication.
In R. Valette (Ed.): Application and Theory of Petri Nets 1994. Proceedings
of the 15th International Conference, Zaragoza, Spain, Lecture Notes in
Computer Science 815, Springer-Verlag, pp. 159-178, 1994.

Christensen S., Jensen K., Mailund, T., Kristensen, L.M.:
State Space Methods for Timed Petri Nets. In H. Weber, H. Ehrig and
W. Reisig: Proceedings of 2nd International Colloquium on Petri Net
Technologies for Modelling Communication Based Systems, Berlin,
Germany, September 14-15, 2001, 33-42.

Christensen, S., Jensen, K., Kristensen, L.M.:
Design/CPN Occurrence Graph Manual. Computer Science Department, University
of Aarhus, Denmark. On-line version: http://www.daimi.au.dk/designCPN/,
1996.

Christensen, S., Jepsen, L.O.:
Modelling and Simulation of a Network Management System Using Hierarchical
Coloured Petri Nets. In Proceedings of the 1991 European Simulation
Multiconference, ISBN 0-911801-92-8. Extended version available as: Daimi
PB-349, ISSN 0105-8517, April, 1991.

Christensen, S., Jørgensen, J.B.:
Analysis of Bang & Olufsen's BeoLink® Audio/Video System Using Coloured
Petri Nets. In P. Azéma and G. Balbo (Eds.) Application and Theory of
Petri Nets 1997. Proceedings of the 18th International Conference,
Toulouse, France, Lecture Notes in Computer Science 1248, Springer-Verlag,
pp. 387-406, 1997.

Christensen, S., Jørgensen, J.B., Kristensen, L.M.:
Design/CPN - A Computer Tool for Coloured Petri Nets. In E. Brinksma
(Ed.): Tools and Algorithms for the Construction and Analysis of Systems,
TACAS'97, Lecture Notes in Computer Science, vol. 1217, Springer-Verlag,
209-223, 1997.

Christensen, S., Jørgensen, J.B., Madsen, K.H.:
Design as Interaction with Computer Based Materials. In van der Veer, G.,
Henderson, A. & Coles, S.: Proceeding of DIS 97. ACM, New York, NY, pp
65-71, 1997.

Christensen, S., Kristensen, L.M.:
State Space Analysis of Coloured Petri Nets. In B. Farwer, D. Moldt and
M-O. Stehr (Eds): Petri Nets in System Engineering (PNSE'97) Modelling,
Verification, and Validation, Hamburg, Germany, Publication No. 205,
Universität Hamburg, Fachberich Informatik, pp. 32-43, 1997.

Christensen, S., Kristensen, L.M.:
State Space Analysis of Hierarchical Coloured Petri Nets. In W.v.d.
Aalst, J.-M. Colom, F. Kordon, G. Kotsis, and D. Moldt. Petri Net
Approaches for   Modelling and Validation. LINCOM Studies in Computer
Science, No. 1, pages 1-16, Lincom Europa, Munich, 2003.

Christensen, S., Kristensen, L.M., Mailund, T.: A Sweep-Line Method
for State Space Exploration.  Proceedings of Tools and Algorithms for
the Construction and Analysis of Systems (TACAS 2001). Genova Italy,
April 2001, Lecture Notes in Computer Science, Springer-Verlag 2001,
vol. 2031, pp. 450-464.

Christensen, S., Kristensen, L.M., Mailund, T.: Condensed State Spaces
for Timed Petri Nets. J-M Colom, M. Koutny (eds.): Application and
Theory of Petri Nets 2001.Proceedings of the 22nd International Petri
Net Conference (ICATPN 2001). Newcastle upon Tyne England, June 2001,
Lecture Notes in Computer Science, Springer-Verlag 2001, vol 2075,
101-120.

Christensen, S., Kristensen L.M., Mortensen, K.H., Thomasen, J.S.:
Capacity Planning of Web Servers using Timed Hierarchical Coloured Petri
Nets. In Proceedings of Hewlett-Packard OpenView University Association
(HP-OVUA'99) 6th Plenary Workshop, Bologna, Italy, 1999.

Christensen, S., Mortensen, K.H.:
Parametrisation of Coloured Petri Nets, University of Aarhus, Computer
Science Department, DAIMI PB-521, ISSN 0105-8517, April, 1997.

Christensen, S., Mortensen, K.H.:
Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a
Distributed Systems Course. In P. Azéma and G. Balbo (Eds.): Application
and Theory of Petri Nets 1997. Proceedings of the 18th International
Conference, Toulouse, France, Lecture Notes in Computer Science 1248,
Springer-Verlag, pp. 290-309, 1997.

Christensen, S., Petrucci, L.:
Towards a Modular Analysis of Coloured Petri Nets. In K. Jensen (Ed.):
Application and Theory of Petri Nets 1992. Proceedings of the 13th
International Conference, Sheffield, UK, Lecture Notes in Computer Science
616, Springer-Verlag, pp. 113-133, 1992.

Christensen, S., Petrucci, L.:
Modular State Space Analysis of Coloured Petri Nets. In G. de. Michelis and
M. Diaz (Eds.): Application and Theory of Petri Nets 1995. Proceedings of
the 16th International Conference, Turin, Italy, Lecture Notes in Computer
Science 935, Springer-Verlag, pp. 201-217, 1995.

Clausen, H., Jensen, P.R.:
Validation and Performance Analysis of Network Algorithms by Coloured Petri
Nets. In Petri Nets and Performance Models. Proceedings of the 5th
International Workshop, Toulouse, France 1993, IEEE Computer Society
Press., pp. 280-289, 1993.

Clausen, H., Jensen, P.R.:
Analysis of Usage Parameter Control Algorithms for ATM Networks. In S.
Tohmé and A. Casaca (Eds.): Broadband Communications, II (C-24), Elsevier
Science B.V., pp. 297-310, 1994.

Elgaard, L.:
The Symmetry Method for Coloured Petri Nets - Theory, Tools, and
Practical Use Ph.D. thesis, Department of Computer Science, University
of Aarhus, Denmark, July 2002.

Elliot, M., Billington, J., Kristensen, L.M.:
Using Design/CPN to Design a Visualisation Extension to Design/CPN. In
Proceedings of 4th Workshop and Tutorial on Practice Use of Coloured
Petri Nets and CPN Tools (CPN'02), pp. 21-38. DAIMI PB-560, Department
of Computer Science, University of Aarhus, 2002. ISSN 0105-8517.

Feldbrugge, F., Jensen, K.:
Computer Tools for Highlevel Petri Nets. In K.  Jensen and
G. Rozenberg (eds.): High level Petri Nets. Theory and
Application. ISBN: 3-540-54125 X or 0-387-54125 X, Springer-Verlag,
1991, 691-717.

Gallasch, G., Kristensen, L.M.:
Comms/CPN: A Communication Infrastructure for External Communication
with Design/CPN. In Proceedings of 3rd Workshop and Tutorial on
Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01),
pp. 79-93.  DAIMI PB-554, Department of Computer Science, University
of Aarhus, ISSN 0105-8517.

Gallasch, G.E.; Kristensen, L.M.; Mailund, T.:
Sweep-Line State Space Exploration for Coloured Petri Nets.
In Proceedings of Fourth Workshop on Practical Use of Coloured Petri
Nets and the CPN Tools (CPN 2002). DAIMI PB-560  pp. 101-119, Aarhus,
Denmark, 2002. 

Gordon, S., Kristensen, L.M., Billington, J.:
An Approach to Generalising the State Space of a Distributed Missile
Simulator. In Proceedings of 11th Annual International Symposium on
System Engineering (INCOSE 2001).

Gordon, S., Kristensen, L.M., Billington, J.:
Verification of a Revised WAP Wireless Transaction Protocol. In
Proceedings of the 23rd International Conference on Application and
Theory of Petri Nets (ICATPN'2002), Volume 2360 of Lecture Notes in
Computer Science, pp.182-202. Springer-Verlag, 2002.

Huber, P., Jensen, K., Shapiro, R.:
Hierarchies in Coloured Petri Nets. In G.Rozenberg (ed.): Advances in
Petri Nets 1990, Lecture Notes in Computer Science Vol. 483,
Springer-Verlag 1991, 313341. Also in K. Jensen and G.  Rozenberg
(eds.): High level Petri Nets. Theory and Application. ISBN:
3-540-54125 X or 0-387-54125 X, Springer-Verlag, 1991, 215-243.

Jensen, K. (ed.):
Application and Theory of Petri Nets 1992. 13th International Conference,
Lecture Notes in Computer Science, vol. 616, Springer-Verlag, 1992.

Jensen K. (ed.):
Workshop on Practical Use of Coloured Petri Nets and
Design/CPN. Proceedings, Department of Computer Science, University of
Aarhus, Denmark, PB-532, 1998.

Jensen, K. (ed.):
Special Section on Coloured Petri Nets. Int. Journal on Software Tools for
Technology Transfer, 2 (1998), Springer Verlag, 95-191, 1998.

Jensen K. (ed.):
Second Workshop on Practical Use of Coloured Petri Nets and
Design/CPN. Proceedings, Department of Computer Science, University of
Aarhus, Denmark, PB-541, 1999.

Jensen K. (ed.):
Practical Use of High-level Petri Nets and Design/CPN. Proceedings,
Department of Computer Science, University of Aarhus, Denmark, PB-547,
2000.

Jensen K. (ed.):
Third Workshop and Tutorial on Practical Use of Coloured Petri Nets
and the CPN Tools. Proceedings, Department of Computer Science,
University of Aarhus, Denmark, PB-554, 2001.

Jensen K. (ed.):
Special Section on Practical Use of High-level Petri
Nets. Int. Journal on Software Tools for Technology Transfer,3/4
(2001), Springer Verlag, 369-430.

Jensen, K. (ed.):
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the
CPN Tools, Aarhus, Denmark, August 28-30, 2002. Proceedings. Department of
Computer Science, University of Aarhus, PB-560, 2002.

Jensen, K.:
Coloured Petri Nets: A High-level Language for System Design and Analysis.
In G. Rozenberg (Ed.): Advances in Petri Nets 1990, Lecture Notes in
Computer Science, vol. 483, Springer-Verlag, pp. 342-416, 1991.

Jensen, K.:
Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use.
Volume 1: Basic Concepts. Monographs in Theoretical Computer Science
Springer-Verlag, ISBN: 3-540-60943-1, 234 pages, 1992.

Jensen, K.:
An Introduction to the Theoretical Aspects of Coloured Petri Nets. In J.W.
de Bakker, W.-P. de Roever and G. Rozenberg (eds.): A Decade of
Concurrency, Lecture Notes in Computer Science, vol. 803, Springer-Verlag,
pp. 230-272, 1994.

Jensen, K.:
Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use.
Volume 2: Analysis Methods. Monographs in Theoretical Computer Science,
Springer-Verlag, ISBN: 3-540-58276-2, 1994.

Jensen, K.:
Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods
in System Design 9, Kluwer Academic Publishers, pp. 7-14, 1996.

Jensen, K.:
A Brief Introduction to Coloured Petri Nets. In E. Brinksma (ed.): Tools
and Algorithms for the Construction and Analysis of Systems. Proceeding of
the TACAS'97 Workshop, Enschede, The Netherlands 1997, Lecture Notes in
Computer Science Vol. 1217, Springer-Verlag, 201-208, 1997.

Jensen, K.:
Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use.
Volume 3: Practical Use. Monographs in Theoretical Computer Science,
Springer-Verlag, ISBN: 3-540-62867-3, 265 pages, 1997.

Jensen, K.:
An Introduction to the Practical Use of Coloured Petri Nets. In W. Reisig
and G. Rozenberg (eds.): Lectures on Petri Nets II: Applications, Lecture
Notes in Computer Science vol. 1492, Springer-Verlag, 237-292, 1998.

Jensen, K. et al.:
Design/CPN. A Reference Manual. Meta Software Corporation and Department of
Computer Science, University of Aarhus, Denmark. On-line version:
http://www.daimi.au.dk/designCPN/, 1996.

Jensen, K., Rozenberg, G (Eds.).:
High-level Petri Nets. Theory and Application. ISBN: 3-540-54125 X or
0-387-54125 X, Springer-Verlag, 1991.

Jørgensen, J.B.:
Construction of Occurrence Graphs with Permutation Symmetries Aided by the
Backtrack Method. DAIMI PB-516, 1997.

Jørgensen, J.B.:
Analysing Coloured Petri Nets by the Occurrence Graph Method. Summary of
Ph.D., DAIMI PB-517, 1997.

Jørgensen, J.B.:
Coloured Petri Nets in UML-Based Software Development -- Designing
Middleware for Pervasive Healthcare. In: Proc. of the 4th Workshop and
Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.
Jensen, K (Ed.). August 28-30, Aarhus, Denmark: pp. 61-80, 2002.

Jørgensen, J.B.:
Coloured Petri Nets in Development of a Pervasive Health Care System. In
W.M.P. van der Aalst and E. Best (eds.) Proceedings of the 24th
International Conference on the Application and Theory of Petri Nets (ICATPN
2003), Eindhoven. Lecture Notes in Computer Science volume 2679,
Springer-Verlag, 2003. pp. 256-275.

Jørgensen, J.B., Bossen, C:
Executable Use Cases for Pervasive Healthcare. In Proc. of the 2nd
Workshop on Modelling of Objects, Components, and Agents.  Moldt, D
(Ed). August 26-27, Aarhus, Denmark: pp. 89-104, 2002.

Jørgensen, J.B., Bossen, C:
Requirements Engineering for a Pervasive Health Care System. In R. Wieringa
(ed.) Proceedings of the 11th International Requirements Engineering
Conference (RE'03), Monterey Bay, California. IEEE, 2003. pp.55-64.

Jørgensen, J.B., Bossen, C:
Executable Use Cases and Their Application to a Pervasive Health Care
System. To appear in IEEE Software, March/April 2004.

Jørgensen, J.B, Christensen, S:
Executable Design Models for a Pervasive Healthcare Middleware
System. In: Proc. of the 5th International Conference on the Unified
Modeling Language, UML2002. Jezequel, J.-M.; Hussmann, H.; Cook, S
(Eds.). September 30 - October 4, Dresden, Germany. Lecture Notes in
Computer Science volume 2460, Springer-Verlag, pp: 140-149, 2002.

Jørgensen, J.B., Kristensen L.M.:
Verification of Coloured Petri Nets Using State Spaces with
Equivalence Classes. In W.v.d.  Aalst, J.-M. Colom, F. Kordon, G.
Kotsis, and D.  Moldt. Petri Net Approaches for Modelling and
Validation. LINCOM Studies in Computer Science, No. 1, pages 17-34,
Lincom Europa, Munich, 2003.

Jørgensen, J.B, Kristensen, L.M.:
Verification by State Spaces with Equivalence Classes. Technical report,
Department of Computer Science, University of Aarhus, Denmark, 1996. DAIMI
PB-515, ISSN 0105-8517, February, 1997.

Jørgensen, J.B, Kristensen, L.M.:
Verification of Coloured Petri Nets Using State Space with Equivalence
Classes In B. Farwer, D. Moldt and M-O. Stehr (Eds): Petri Nets in System
Engineering (PNSE'97) Modelling, Verification, and Validation, Hamburg,
Germany, Publication No. 205, Universität Hamburg, Fachberich Informatik,
pp. 20-31, 1997.

Jørgensen, J.B., Kristensen, L.M.:
Design/CPN OE/OS Graph Manual. Computer Science Department, University of
Aarhus, Denmark. On-line version: http://www.daimi.au.dk/designCPN/, 1996.

Jørgensen, J.B., Kristensen, L.M.:
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm
Using Coloured Petri Nets and Occurrence Graphs with Symmetries. IEEE
Transactions on Parallel and   Distributed Systems.  Vol.10, No. 7, July,
1999.

Jørgensen, J.B., Mortensen, K.H.:
Modelling and Analysis of Distributed Program Execution in BETA Using
Coloured Petri Nets. In J. Billington and W. Reisig (eds.): Application and
Theory of Petri Nets 1996. Proceedings of the 17th International Petri Net
Conference, Osaka 1996, Lecture Notes in Computer Science Vol. 1091,
Springer-Verlag, pp. 249-268, 1996.

Kristensen, L.M.:
Exploiting Place Invariants in Condensed State Space Construction for
Coloured Petri Nets. In Proceedings of International Conference on
Parallel Processing Techniques and Applications
(PDPTA 2001). pp. 661-667, Vol II, CSREA Press 2001.

Kristensen, L.M.:
State Space Methods for Coloured Petri Nets. Ph.D. Thesis, Department
of Computer Science, University of Aarhus. DAIMI PB-546, 2000.

Kristensen, L.M., Billington, J. (Eds):
Proceedings of Workshop on Formal Methods Applied to Defence
Systems. Volume 12 of Conference in Research and Practice of
Information Technology. Australian Computer Society, 2002. Satellite
Workshop of the 23rd International Conference on Application and
Theory of Petri Nets, Adelaide, 2002.

Kristensen, L.M., Billington J., Petrucci, L., Qureshi, Z.H., Kiefer, R.: 
Formal Specification and Analysis of Airborne Mission Systems (DASC'02).
In Proceedings of 21st AIAA/IEEE Digital Avionics Systems Conference,
Volume 1, pp. 4.D.4-1-4.D.4-13, 2002. 

Kristensen, L.M., Christensen, S.:
Implementing Coloured Petri Nets using a Functional Programming
Language. Accepted for Higher-Order and Symbolic Computation. Kluwer
Academic Publishers. 

Kristensen, L.M., Christensen, S., Jensen, K.:
The Practitioner's Guide to Coloured Petri Nets. In K. Jensen (ed.):
Special Section on Coloured Petri Nets. Int. Journal on Software Tools for
Technology Transfer, 2 (1998), Springer Verlag, 98-132, 1998.

Kristensen, L.M., Figueiredo, J.C.:
Using Coloured Petri Nets to Investigate Behavioural and Performance
Issues of TCP Protocol. In Proceedings of Second Workshop on Practical
Use of Coloured Petri Nets and Design/CPN, Aarhus, Denmark. DAIMI
PB-541, 1999.

Kristensen, L.M.; Mailund, T.:
A Compositional Sweep-Line State Space Exploration Method.
In Proceedings of Formal Description Techniques for Distributed Systems
and Communication Protocols (FORTE 2002), LNCS 2529 pp. 327-343, 
Springer-Verlag.

Kristensen, L.M.; Mailund, T.:
A Generalised Sweep-Line Method for Safety Properties.
In Proceedings of Formal Methods Europe (FME 2002), LNCS 2391 pp.
549-567, Springer-Verlag, 2002.

Kristensen, L.M., Mailund, T.: 
Efficient Path Finding with the Sweep-Line Method using External
Storage. International Conference on Formal Engineering Methods
(ICFEM'03). Vol 2885 of Lecture Notes in Computer Science, pp. 319-337,
Springer-Verlag, 2003. 

Kristensen, L.M., Mitchell, B., Zhang, L., Billington, J.:
Modelling and Initial Analysis of Operational Planning Processes using
Coloured Petri Nets. In Proceedings of Workshop on Formal Methods
Applied to Defence Systems, pp.105-114, Volume 12 of Conferences in
Research and Practice in Information Technology, Australian Computer
Society, 2002.

Kristensen, L.M,, Valmari, A.: 
Improved Question-Guided Stubborn Set Methods for State Properties. In
M. Nielsen and D.  Simpson (eds.): Proceedings of ICATPN 2000, volume
1825 of Lecture Notes in Computer Science, pp. 282-302.
Springer-Verlag, 2000.

Kristensen, L.M., Valmari, A.:
Improved Question-Guided Stubborn Set Methods for State
Properties. Department of Computer Science, University of
Aarhus. DAIMI PB-543, 2000.

Kristensen, L.M., Valmari, A.:
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. In
Proceedings of 19th International Conference on Application and Theory of
Petri Nets (ICATPN'98). J. Desel and M. Silva (Eds).  Volume 1420 of
Lecture  Notes in Computer Science, pp. 104-123, Springer-Verlag, 1998.

Lakos, C., Christensen, S.:
A General Systematic Approach to Arc Extensions for Coloured Petri Nets. In
R. Valette (Ed.): Application and Theory of Petri Nets 1994. Proceedings of
the 15th International Conference, Zaragoza, Spain, Lecture Notes in
Computer Science 815, Springer-Verlag, pp. 338-357, 1994.

Lindstrøm, B.: 
Web-Based Interfaces for Simulation of Coloured Petri Net Models.  In
K. Jensen (ed.): Special Section on Practical Use of High-level Petri
Nets. Int. Journal on Software Tools for Technology Transfer 3(4) 2001,
Springer-Verlag, pp. 405-416, 2001.

Lindstrøm, B.:
Facilitating the Practical Use of Coloured Petri Nets. Ph.D. thesis,
Department of Computer Science, University
of Aarhus, Denmark, July 2002.

Lindstrøm, B., Wagenhals, L.W.:
Operational Planning using Web-Based Interfaces to a Coloured Petri
Net Simulator of Influence Nets. in C. Lakos, R. Esser, L. Kristensen,
and J. Billington (Eds.): Formal Methods in Software Engineering and
Defence Systems 2002. Vol. 12 of Conferences in Research and Practice
in Information Technology, pp. 115-124. Australian Computer Society,
June 2002.

Lindstrøm, B., Wells, L.:
Annotating Coloured Petri Nets. In K. Jensen (Ed.): Proceedings of the
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the
CPN Tools. August 28-30, Århus, Denmark. Dept. of Computer Science,
University of Aarhus: pp. 39-58, 2002.

Lindstrøm, B., Wells, L.:
Towards a Monitoring Framework for Discrete-Event System Simulations. In M.
Silva, A. Giva, and J.M. Colom (Eds.): Proceedings of the 6th International
Workshop on Discrete Event Systems (WODES'02). October 2-4, Zaragoza, Spain.
IEEE Computer Society: pp. 127-134, 2002.

Lorentsen, L.:
Modelling and Analysis of a Flowmeter System. In K.Jensen, editor,
Practical Use of Coloured Petri Nets and the Design/CPN tool 1999.

Lorentsen, L.:
Coloured Petri Nets and State Space Generation with the Symmetry
Method In K.Jensen, editor, Proceedings of the 4th Workshop on
Practical Use of Coloured Petri Nets and the CPN/Tools, 2002.

Lorentsen, L., Kristensen, L.M.:
Modelling and Analysis of a Danfoss Flowmeter System using Coloured
Petri Nets. In M. Nielsen and D. Simpson (eds.): Proceedings of
ICATPN 2000, volume 1825 of Lecture Notes in Computer Science, pp.
346-366. Springer-Verlag, 2000.

Lorentsen, L., Kristensen, L.M.:
Exploiting Stabilizers and Parallelism in State Space Generation with
the Symmetry Method. In Proceedings of the Second Internationel
conference on Application of Concurrency to System Design (ICACSD'01),
pp. 211-220, IEEE 2001

Lorentsen, L., Tuovinen, A-P., Xu, J.:
Modelling Feature Interaction Patterns in Nokia Mobile Phones using
Coloured Petri Nets and Design/CPN. In K.Jensen (ed.), Proceedings of
the third workshop on practical use of Coloured Petri Nets and the CPN
Tools, August 2001.

Lorentsen, L., Tuovinen, A-P., Xu, J.:
Modelling Feature Interactions in Mobile Phones. ECOOP 2001 Workshop:
Feature Interaction in Composed Systems, Hungary, June 2001.

Lorentsen, L., Tuovinen, A-P., Xu, J.:
Capturing Feature Interaction Patterns with Coloured Petri Nets.
Seventh Symposium on Programming Languages and Software Tools
(SPLST 2001), Hungary, June 2001.

Lorentsen, L., Tuovinen, A-P., Xu, J.:
Modelling Features and Feature Interactions of Nokia Mobile Phones
Using Coloured Petri Nets. In J.Esparza and C.Lakos, editors,
Proceedings of the 23rd International Conference on Application and
Theory of Petri Nets (ICATPN'2002), Lecture Notes in Computer Science,
Springer-Verlag, 2002.

Lorentsen, L., Tuovinen, A-P., Xu, J.:
Capturing Feature Interaction Patterns with Coloured Petri Nets.
In Acta Cybernetica 15 (2002) 621-632, on 5th December.

Mailund, T.:
Analysing Infinite-State Systems by Combining Equivalence Reduction
and the Sweep-Line Method.  Proceedings of International Conference on
Application and Theory of Petri Nets (ICATPN 2002), LNCS 2360
pp. 314-333, Springer-Verlag.

Mailund, T., Mortensen, K.H.: 
Separation of Style and Content with XML in an Inter-change Format for
High-level Petri Nets. In Proceedings of the Meeting on XML/SGML based
Interchange Formats for Petri Nets. Satellite event at 21st
International Petri Net Conference (ICATPN 2000). Aarhus Denmark, June
2000.

Marranghello, N.:
Digital systems Synthesis from Petri Net Descriptions. Daimi/PB-530 19pp.

Marranghello, N.:
A Compilation of People Working on Hardware Synthesis from Petri Net
Descriptions. Proceedings of the Workshop on Hardware and Petri Nets,
June 1998, Lisbon. 19th International Conference on Application and
Theory of Petri Nets.

Marranghello, N., Mirkowski, J., Bilinske, K.:
Synthesis of Synchronous Digital Systems Specified by Petri
Nets. Proceedings of the Workshop on Hardware and Petri Nets, June
1998, Lisbon. 19th International Conference on Application and Theory
of Petri Nets.

Mortensen, K.H.:
Efficient Data-Structures and Algorithms for a Coloured Petri Nets
Simulator. In: Kurt Jensen (Ed.): 3rd Workshop and Tutorial on
Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01), pp.
57-74. DAIMI PB-554, University of Aarhus, August 2001.

Mortensen, K.H.:
Automatic Code Generation Method Based on Coloured Petri Net Models
Applied on an Access Control System. In M. Nielsen and D. Simpson
(eds.): Application and Theory of Petri Nets 2000. Proceedings of the
21st International Petri Net Conference, Aarhus, Denmark,
2000. Lecture Notes in Computer Science Vol. 1825, Springer-Verlag,
pp. 367-386, 2000.

Mortensen, K.H.:
Automatic Code Generation from Coloured Petri Nets for an Access
Control System. In Kurt Jensen (ed.): Second Workshop on Practical Use
of Coloured Petri Nets and Design/CPN, Aarhus, Denmark, October 11-15,
1999.

Mortensen, K.H.:
Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing
Distributed Systems, PhD Thesis, University of Aarhus, Computer Science
Department, DAIMI PB-522, ISSN 0105-8517, April, 1997.

Mortensen, K.H., Pinci, V.:
Modelling the Work Flow of a Nuclear Waste Management Program. In R.
Valette (Ed.): Application and Theory of Petri Nets 1994. Proceedings of
the 15th International Conference, Zaragoza, Spain, Lecture Notes in
Computer Science 815, Springer-Verlag, pp. 376-395, 1994.

Ouyang, C., Billington, J., Kristensen, L.M.:
An Assessment of the Internet Open Trading Protocol. Submitted to Journal of
Electronic Commerce Research (JECR), February 2003.

Ouyang, C., Kristensen, L.M., Billington, J.:
A Formal Service Specification for the Internet Open Trading
Protocol. In Proceedings of the 23rd International Conference on
Application and Theory of Petri Nets (ICATPN'2002). Vol 2360 of
Lecture Notes in Computer Science, pp.352-373. Springer-Verlag, 2002.

Ouyang, C., Kristensen, L.M., Billington, J.:
A Formal and Executable Specification of the Internet Open Trading
Protocol. In Proceedings of the 3rd International Conference on
Electronic Commerce and Web Technologies. Vol. 2455 of Lecture Notes
in Computer Science, pp.377-387, Springer-Verlag, 2002.

Ouyang, C., Kristensen, L.M., Billington, J.:
Towards Modelling and Analysis of the Internet Open Trading Protocol
Transactions Using Coloured Petri Nets. In Proceedings of 11th Annual
International Symposium on System Engineering (INCOSE 2001).

Ouyang, C., Kristensen, L.M., Billington, J.:
An Improved Architectural Specification of the Internet Open Trading
Protocol Transactions. In Proceedings of 3rd Workshop and Tutorial on
Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01),
pp. 119-137. DAIMI PB-554, Department of Computer Science, University
of Aarhus, ISSN 0105-8517.

Petrucci, L., Billington, J., Kristensen, L.M., Qureshi, Z.H.:
Developing a Formal Specification for the Mission Systems of a Maritime
Surveillance Aircraft. Proceedings of Third International Conference on
Application of Concurrency to System Design (ACSD'03), pp. 92-101. IEEE
Computer Society, 2003. 

Petrucci, L., Kristensen, L.M., Billington, J., Qureshi, Z.:
Towards Formal Specification and Analysis of Avionics Mission
System. In Proceedings of Workshop on Formal Methods Applied to
Defence Systems, pp. 95-104, Volume 12 of Conferences in Research and
Practice in Information Technology, Australian Computer Society, 2002.

Qureshi, Z., Billington, J., Kristensen, L.M.:
Modelling Military Airborne Mission Systems for Functional
Analysis. In Proceedings of 20th Digital Avionics Systems
Conference. Daytona Beach, 14-18 October 2001.

Rasmussen, J.L., Singh, M.:
Designing a Security System by Means of Coloured Petri Nets. In J.
Billington and W. Reisig (eds.): Application and Theory of Petri Nets 1996.
Proceedings of the 17th International Petri Net Conference, Osaka 1996,
Lecture Notes in Computer Science Vol. 1091, Springer-Verlag, pp. 400-419,
1996.

Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F.,
Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.:
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
In W.v.d. Aalst and E. Best (eds.): Application and Theory of Petri
Nets 2003. Proceedings of the 24th International Conference on the
Application and Theory of Petri Nets (ICATPN 2003). Lecture Notes in
Computer Science, vol. 2679,  pp. 450-462, Springer-Verlag, 2003.

Wells, L.:
Performance Analysis Using Coloured Petri Nets. In A. Boukerche, S.K. Das,
and S. Majumdar (Eds.):
Proceedings of the Tenth IEEE International Symposium on Modeling, Analysis
and Simulation of Computer and Telecommunication Systems (MASCOTS'02).
October 11-16, Ft. Worth, TX, USA. IEEE Computer Society: pp 217-221, 2002.

Wells, L.:
Performance Analysis using Coloured Petri Nets. Ph.D. thesis,
Department of Computer Science, University of Aarhus, Denmark, July
2002.

Wells, L., Christensen, S., Kristensen, L.M., Mortensen K.:
Simulation Based Performance Analysis of Webs Servers.
In R. German and B. Haverkort (eds.) Proceedings of the 9th
International Workshop on Petri Nets and Performance Models,
IEEE, September 2001, pp. 59-68.

Zhang, L., Kristensen, L.M., Falzon, L., Davies, M., Mitchell, B., Billington, J.:
Model-based Operational Planning using Coloured Petri Nets. In
Proceedings of the 6th International Command and Control Research and
Technology Symposium (CCRTS), Mayland USA, June 2001.

Zhang, L., Kristensen, L.M., Janczura, C., Gallasch, G., Billington, J.:
A Coloured Petri Net based Tool for Course of Action Development and
Analysis. In Proceedings of Workshop on Formal Methods Applied to
Defence Systems, pp. 125-134, Volume 12 of Conferences in Research and
Practice in Information Technology, Australian Computer Society, 2002.