Author Info
Name
Affiliation
Papers
KOMODA, N.
Systems Development Laboratory, Hitachi, Ltd., Kawasaki, Japan
1
Collaborators
Citations 
PageRank 
1
2
0.54
Referers 
Referees 
References 
3
2
1
Title
Citations
PageRank
Year
Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction20.541987