Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction.

Tomohiro Murata Norihisa Komoda

Published in: ICRA (1987)

Keyphrases

petri net
manufacturing systems
control system
colored petri nets
programmable logic controller
artificial intelligence
decision making
collaborative learning
fuzzy petri net