Distributed and modular state space exploration for timed petri nets
Date
2005
Authors
Lakos, C.
Petrucci, L.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2005
Statement of Responsibility
Conference Name
Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (6th : 2005 : Aarhus, Denmark)