BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × The Netherlands
Collaborated with:
M.Beaudouin-Lafon W.E.Mackay M.Jensen P.Andersen P.Janecek H.M.Lassen K.Lund K.H.Mortensen S.Munck A.V.Ratzer K.Ravn S.Christensen
Talks about:
tool (3) colour (2) petri (2) net (2) introduct (1) demonstr (1) simul (1) relat (1) brief (1) taca (1)

Person: Kurt Jensen

DBLP DBLP: Jensen:Kurt

Facilitated 1 volumes:

TACAS 2004Ed

Contributed to:

TACAS 20012001
TACAS 19971997

Wrote 2 papers:

TACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #petri net #simulation #tool support
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.
TACAS-1997-Jensen #petri net
A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.