Invited Lecture: Concurrent Process Control Using Augmented Marked Graphs
Abstract: A subclass of Petri nets which are theoretically rich for system analysis, augmented marked graphs possess a structure especially useful for modelling and analysis of concurrent and competing processes. Augmented marked graphs are rather new in the literature, but were extensively studied in the past two decades. They possess a number of desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. The properties can be preserved under simple conditions after composition. This keynote presentation has two parts. The first part introduces the theories of augmented marked graphs, and the second part focus on the application of augmented marked graphs to concurrent process control. The modelling and analysis of concurrent processes, which used to compete with each other for some shared resources, are illustrated with examples of distributed systems and automated systems.