Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course

• Authors:

• Søren Christensen;Kjeld Høyer Mortensen

• Affiliations:

• -;-

• Venue:
• ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
• Year:
• 1997