Formal Specification and State Space Analysis of an Operational Planning Process

Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

  • L.M. Kristensen, Denmark
  • B. Mitchell, Denmark
  • L. Zhang, Denmark
  • K. Jensen (Editor)
  • Department of Computer Science
Original languageEnglish
Title of host publicationProc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools
Number of pages19
PublisherDepartment of Computer Science, University of Aarhus
Publication year2004
EditionPB-570 of Daimi Reports
Pages1-18
Publication statusPublished - 2004

See relations at Aarhus University Citationformats

ID: 282618