Sweep-line state space exploration for Coloured Petri Nets
| dc.contributor.author | Gallasch, G.E. | |
| dc.contributor.author | Kristensen, L.M. | |
| dc.contributor.author | Mailund, T. | |
| dc.contributor.conference | (28 Aug 2002 : Aarhus, Denmark) | |
| dc.date.issued | 2002 | |
| dc.identifier.citation | 4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 2002 | |
| dc.identifier.issn | 0105-8517 | |
| dc.identifier.uri | https://hdl.handle.net/1959.8/41909 | |
| dc.language.iso | en | |
| dc.publisher | Department of Computer Science, University of Aarhus | |
| dc.publisher.place | Denmark | |
| dc.rights | Copyright status unknown | |
| dc.title | Sweep-line state space exploration for Coloured Petri Nets | |
| dc.type | Conference paper | |
| pubs.publication-status | Published | |
| ror.mmsid | 9915912879401831 |