Correct System Design Group

Logo

Welcome to the Homepage of the Petruchio Project

On this site you find information and downloads for the Petruchio Project.

News

  • Petruchio is currently not under active development.
  • We won the ACSD Best Paper Award for "An Algorithmic Framework for Coverability in Well-Structured Systems" which has been published in the Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD'12). (2012-07-01)
  • "An Algorithmic Framework for Coverability in Well-Structured Systems" has been accepted at the 12th International Conference on Application of Concurrency to System Design (ACSD'12). (2012-03-08)
  • "Accelerating Backward Reachability Analysis" has been published in the Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11). (2011-11-01)
  • Petruchio is now listed in the Tool Database of Petri Nets World. (2010-09-03)
  • "Petruchio: From Dynamic Networks to Nets" has been published in LNCS 6174. (2010-07-15)
  • "Petruchio: From Dynamic Networks to Nets" has been accepted at CAV 2010. (2010-03-15)