scientific article; zbMATH DE number 1755139

zbMATH Open0986.68618MaRDI QIDQ4535173FDOQ4535173

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)