Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system