CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets

DOI10.1007/3-540-45740-2_6MaRDI QIDQ4535173zbMATH OpenFDO

Authors Michel Beaudouin-Lafon, Wendy E. MacKay, Peter Andersen, Paul Janecek, Mads Jensen

Publication date 13 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750071

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• CPN/Tools: A tool for editing and simulating coloured Petri nets. ETAPS tool demonstration related to TACAS
• The practitioner's guide to coloured Petri nets.
• Web-based interfaces for simulation of coloured Petri net models
• Industrial user interface evaluation based on coloured Petri nets modelling and analysis
• Applications and Theory of Petri Nets 2004

Cited in

(5)

• CPN/Tools: A tool for editing and simulating coloured Petri nets. ETAPS tool demonstration related to TACAS
• Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
• Industrial user interface evaluation based on coloured Petri nets modelling and analysis
• An interaction-centered hierarchical Post-WIMP user interface model
• Web-based interfaces for simulation of coloured Petri net models

Describes a project that uses

Uses Software

• CPN/Tools

This page was built for publication: CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535173)