A Petri Net-based inference network for design automation under nondeterminism applied to mechatronic systems

Abstract

This paper introduces the completed part of an ongoing research, in which a Petri Net-based design inference network is developed for the representation and analysis of the functions and their interrelationships through information flow for the conceptual design stage of mechatronic systems in order to facilitate design automation. The theoretical framework behind the network is based on transition of Hybrid Automata into Petri Nets and application of this framework is introduced by a mechatronic design example.