Sign in
A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets.
Ivano Fumagalli
Luigi Piroddi
Roberto Cordone
Published in:
ACC (2010)
Keyphrases
</>
petri net
graph partitioning
data analysis
graph model
clustering algorithm
pairwise