Teaching coloured Petri nets: Examples of courses and lessons learned

DOI10.1007/978-3-540-27755-2_10MaRDI QIDQ5712275zbMATH OpenOpenAlexFDO

Authors Søren Christensen, Jens Bæk Jørgensen

Publication date 23 December 2005

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

Full work available at URL https://doi.org/10.1007/b98282

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Objectives and goals of mathematics teaching (97D30)

Recommendations

• The practitioner's guide to coloured Petri nets.
• Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1
• Coloured Petri Nets
• scientific article; zbMATH DE number 4028914
• Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 3

Cited in

(1)

• Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching

Describes a project that uses

Uses Software

• CPN/Tools

This page was built for publication: Teaching coloured Petri nets: Examples of courses and lessons learned

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