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

Date

2003-02-01

Author

Erden, Z
Erden, A
Erkmen, Aydan Müşerref

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

136
views

0
downloads

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.

Subject Keywords

Petri net, Mechatronic design, Hybrid automata, Conceptual design, Behavioural simulation

URI

https://hdl.handle.net/11511/43241

Journal

RESEARCH IN ENGINEERING DESIGN-THEORY APPLICATIONS AND CONCURRENT ENGINEERING

DOI

https://doi.org/10.1007/s00163-002-0022-0

Collections

Department of Electrical and Electronics Engineering, Article

Suggestions

OpenMETU
Core

Creative Design Exploration By Parametric Generative Systems In Architecture Gürsel Dino, İpek (Middle East Technical University, Faculty of Architecture, 2012-01-01) This paper discusses parametric design systems as a generative tool in architectural design. Parametric tools are algorithmically based, and therefore offer increased computational control over design geometry during design activity. Their adaptability and responsiveness to changing design criteria and requirements make parametric models especially useful for design exploration in complex and dynamic design settings. In performance based design, parametric control of form is particularly valuable, such that...
A method for supporting data collection in user research studies at domestic environments Öztoprak, Aydın; Erbuğ, Çiğdem; Department of Industrial Design (2011) This thesis analyzes data collection tools and methods in domestic environments for smart product development processes. The aim of the study is to create a method for supporting data collection studies in user research of smart products at domestic environments. The study examines the utilization of information and communication technologies in ethnographic data collection methods at domestic environments with a qualitative approach. Two case studies are conducted to understand and analyze the effects of c...
Parametric Urban Design Thinking: Shared Patterns in Design by Algorithm and Design by Drawing Çalışkan, Olgu; Ongun, Gokhan (2021-12-01) The paper suggests a focused examination of the processes of drafting-based design and parametric design in urbanism. It discusses how spatial design's settled cognition would differ by using algorithmic systems through the altered relationships between the basic operations in design. To reveal the commonalities and distinctions between the two design methods, the authors present the detailed documentation of the workshop series, which experimented with both techniques within similar design contexts. By the...
A Petri Net-based inference network for design automation under nondeterminism applied to mechatronic systems Erden, Zühal; Erkmen, Aydan Müşerref; Erden, Abdülkadir (1998-09-11) 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 exa...
A Methodology for cross-resolution modeling in DEVS using event-B refinement Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, Mahmut Nedim; Department of Computer Engineering (2014) This thesis proposes a software engineering solution for implementing simulations via composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology relies on Event-B as the formal specification language and D...

Citation Formats

Z. Erden, A. Erden, and A. M. Erkmen, “A Petri net approach to behavioural simulation of design artefacts with application to mechatronic design,” RESEARCH IN ENGINEERING DESIGN-THEORY APPLICATIONS AND CONCURRENT ENGINEERING, pp. 34–46, 2003, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/43241.