Interval timed coloured Petri nets and their analysis

Research output: Book/ReportReportAcademic

260 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages20
Publication statusPublished - 1992

Publication series

NameComputing science notes
Volume9217

Cite this