Login / Signup

A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets.

Ivano FumagalliLuigi PiroddiRoberto Cordone
Published in: ACC (2010)
Keyphrases
  • petri net
  • graph partitioning
  • data analysis
  • graph model
  • clustering algorithm
  • pairwise