A Tool for Editing and Simulating Coloured Petri Nets (2001)

Cached

Download Links

by Michel Beaudouin-lafon , Wendy E. Mackay , Mads Jensen , Peter Andersen , Paul Janecek , Michael Lassen , Kasper Lund , Kjeld Mortensen , Stephanie Munck , Anne Ratzer , Katrine Ravn , Søren Christensen , Kurt Jensen
Venue:In ETAPS 2001, volume 2031 of LNCS
Citations:8 - 0 self