Sweep-line state space exploration for Coloured Petri Nets
Date
2002
Authors
Gallasch, G.E.
Kristensen, L.M.
Mailund, T.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 2002
Statement of Responsibility
Conference Name
(28 Aug 2002 : Aarhus, Denmark)
Abstract
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright status unknown