Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/38923
| Type: | Conference paper |
| Title: | Distributed and modular state space exploration for timed petri nets |
| Author: | Lakos, C. Petrucci, L. |
| 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 |
| Publisher: | University of Aarhus |
| Publisher Place: | Aarhus, Denmark |
| Issue Date: | 2005 |
| Conference Name: | Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (6th : 2005 : Aarhus, Denmark) |
| Appears in Collections: | Aurora harvest 6 Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.