A Petri net approach to behavioural simulation of design artefacts with application to mechatronic design

Abstract. A Petri net-based design inference network (PNDN) architecture is presented in this paper. The network models the logical behaviour of any design artefact developed by designers at the conceptual design level by representing the subfunctions and their inter-relationships to perform a required overall function. The theoretical framework in developing the PNDN is based on the improved theory of Petri nets and hybrid automata. The theoretical PNDN architecture was implemented in a C++ based software called the design network simulator (DNS). The logical behaviour of a design artefact is modelled through the token flow within the PNDN. The token flow model is developed both for deterministic and nondeterministic PNDN, which involves uncertainties. In this paper we present the mathematical formalism of the deterministic token flow through the PNDN. We also provide a conceptual design example in order to explain the application of our theoretical architecture for structuring the PNDN.

[1]  Jonathan Cagan.  A graph-based representation to support structural design innovation , 1991 .

[2]  Stamatios K. Andreadakis,et al.  Analysis and synthesis of decision-making organizations , 1988 .

[3]  K. Atanassov.  New operations defined over the intuitionistic fuzzy sets , 1994 .

[4]  Jonathan Cagan,et al.  Recursive annealing: A computational model for machine design , 1995 .

[5]  K. Atanassov.  More on intuitionistic fuzzy sets , 1989 .

[6]  Kurt M. Marshek,et al.  An algebraic and predicate logic approach to representation and reasoning in machine design , 1990 .

[7]  S. C.-Y. Lu,et al.  An AI-Based Approach for the Integration of Multiple Sources of Knowledge to Aid Engineering Design , 1988 .

[8]  Nam P. Suh,et al.  On an Axiomatic Approach to Manufacturing and Manufacturing Systems , 1978 .

[9]  Andrew Kusiak,et al.  Concurrent engineering: decomposition and scheduling of design activities , 1990 .

[10]  James R. Rinderle,et al.  A synthesis strategy for mechanical devices , 1989 .

[11]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[12]  Kurt M. Marshek,et al.  Design synthetic reasoning: A methodology for mechanical design , 1991 .

[13]  Wolfgang Beitz,et al.  Engineering Design: A Systematic Approach , 1984 .

[14]  Andrew Kusiak,et al.  Decomposition of the Design Process , 1993 .

[15]  K. Atanassov.  Remarks on the intuitionistic fuzzy sets , 1992 .

[16]  Peter Fritzson,et al.  MathModelica - An Extensible Modeling and Simulation Environment with Integrated Graphics and Literate Programming , 2002 .

[17]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[18]  Andrew Kusiak,et al.  Efficient organizing of design activities , 1993 .

[19]  Martin Otter,et al.  Modelica-a language for physical system modeling, visualization and interaction , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[20]  David G. Ullman,et al.  A taxonomy for mechanical design , 1992 .

[21]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[22]  Hideaki Takeda,et al.  Metamodel: A key to intelligent CAD systems , 1989 .

[23]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[24]  Kurt M. Marshek,et al.  Design synthetic reasoning , 1991 .

[25]  Krassimir T. Atanassov,et al.  Intuitionistic fuzzy sets , 1986 .

[26]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[27]  Alexander H. Levis,et al.  Petri net representation of decision models , 1985, IEEE Transactions on Systems, Man, and Cybernetics.