Travelled to:1 × Italy
Collaborated with:M.Beaudouin-Lafon W.E.Mackay M.Jensen P.Andersen H.M.Lassen K.Lund K.H.Mortensen S.Munck A.V.Ratzer K.Ravn 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: Paul Janecek
DBLP: Janecek:Paul
Contributed to:
2001Wrote 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.