Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Christensen, S{\o}ren"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The Petri Net Markup Language: Concepts, technology, and tools
Jonathan Billington
,
Sren Christensen
,
Kees van Hee
,
Ekkart Kindler
,
Olaf Kummer
,
Laure Petrucci
,
Reinier Post
,
Christian Stehno
,
Michael Weber
Lecture Notes in Computer Science
2679
, 2003, pp. 483-505
CPN tools for editing, simulating, and analysing coloured Petri nets
Anne Vinter Ratzer
,
Lisa Wells
,
Henry Michael Lassen
,
Mads Laursen
,
Jacob Frank Qvortrup
,
Martin Stig Stissing
,
Michael Westergaard
,
Sren Christensen
,
Kurt Jensen
Lecture Notes in Computer Science
2679
, 2003, pp. 450-462
CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets
Michel Beaudouin-Lafon
,
Wendy E. Mackay
,
Peter Andersen
,
Paul Janecek
,
Mads Jensen
,
Michael Lassen
,
Kasper Lund
,
Kjeld Mortensen
,
Stephanie Munck
,
Anne Ratzer
,
Katrine Ravn
,
Sren Christensen
,
Kurt Jensen
Lecture Notes in Computer Science
2075
, 2001, pp. 71-80
Condensed state spaces for timed Petri nets
Sren Christensen
,
Lars Michael Kristensen
,
Thomas Mailund
Lecture Notes in Computer Science
2075
, 2001, pp. 101-120
Analysing Bang & Olufsen's BeoLink audio/video system using coloured Petri nets
Sren Christensen
,
Jens Bæk Jrgensen
Lecture Notes in Computer Science
1248
, 1997, pp. 387-406
Teaching coloured Petri nets - A gentle introduction to formal methods in a distributed systems course
Sren Christensen
,
Kjeld H. Mortensen
Lecture Notes in Computer Science
1248
, 1997, pp. 290-309
Bisimulation equivalence is decidable for all context-free processes
Sren Christensen
,
Hans Hüttel
,
Colin Stirling
Information and Computation
121
(2), 1995, pp. 143-148
Modular state space analysis of coloured Petri nets
Sren Christensen
,
Laure Petrucci
Lecture Notes in Computer Science
935
, 1995, pp. 201-217
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
Sren Christensen
,
Niels Damgaard Hansen
Lecture Notes in Computer Science
691
, 1993, pp. 186-205
Bisimulation equivalence is decidable for basic parallel processes
Sren Christensen
,
Yoram Hirshfeld
,
Faron Moller
Lecture Notes in Computer Science
715
, 1993, pp. 143-157
Towards a modular analysis of coloured Petri nets
Sren Christensen
,
Laure Petrucci
Lecture Notes in Computer Science
616
, 1992, pp. 113-133