Travelled to:
1 × Italy
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 S.Christensen K.Jensen
Talks about:
tool (3) demonstr (1) colour (1) simul (1) relat (1) petri (1) taca (1) etap (1) edit (1) net (1)
Person: Katrine Ravn
DBLP: Ravn:Katrine
Contributed to:
Wrote 1 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.