scientific article; zbMATH DE number 1755139

MaRDI QIDQ4535173zbMATH OpenFDO

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

Publication date 13 June 2002

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1701779
• The practitioner's guide to coloured Petri nets.
• Web-based interfaces for simulation of coloured Petri net models
• scientific article; zbMATH DE number 2080954
• Applications and Theory of Petri Nets 2004

Cited in

(5)

• scientific article; zbMATH DE number 2080954 (Why is no real title available?)
• scientific article; zbMATH DE number 1701779 (Why is no real title available?)
• Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
• Web-based interfaces for simulation of coloured Petri net models
• An interaction-centered hierarchical Post-WIMP user interface model

Describes a project that uses

Uses Software

• CPN/Tools

This page was built for publication:

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