Welcome to the Homepage of the Petruchio Project

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

News

• "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)