Recent advances in petri nets and concurrency

CEUR Workshop Proceeding

A Review of Building Information Modeling and Simulation as Virtual Representations Under the Digital Twin Concept

Building Information Modeling (BIM) is a highly promising technique for achieving digitalization in the construction industry, widely used in modern construction projects for digitally representing facilities. Nevertheless, retains limitations in terms of representing construction operations. The digital twin concept may potentially overcome these limitations and initiate advanced digital transformation in the construction industry as it has revolutionized the product lifecycle management in the manufacturing industry. This research provides a critical review of applying digital twin in the construction industry. Altogether, 140 papers from related journals and databases were reviewed. The digital aspect of twinning consists of BIM and simulation modeling. These two techniques have been used to create virtual or digital representations of actual buildings and real-world construction processes. However, integrating and applying BIM and simulation modeling according to the digital twin concept remains to be fully studied. Comprehensive evaluations of BIM, simulation modeling, and digital twin will provide a well-defined framework for this research, to identify direction and potential for digital twin in the construction industry, thereby progressing to the next level of digitalization and improvement in construction management practice

An approach to task coordination for hyperflexible robotic workcells

2014 - 2015The manufacturing industry is very diverse and covers a wide range of specific processes ranging from extracting minerals to assembly of very complex products such as planes or computers, with all intermediate processing steps in a long chain of industrial suppliers and customers. It is well know that the introduction of robots in manufacturing industries has many advantages. Basically, in relation to human labor, robots work to a constant level of quality. For example, waste, scrap and rework are minimized. Furthermore they can work in areas that are hazardous or unpleasant to humans. Robots are advantageous where strength is required, and in many applications they are also faster than humans. Also, in relation to special-purpose dedicated equipment, robots are more easily reprogrammed to cope with new products or changes in the design of existing ones. In the last 30-40 years, large enterprises in high-volume markets have managed to remain competitive and maintain qualified jobs by increasing their productivity with the incremental adoption and use of advanced ICT and robotics technologies. In the 70s, robots have been introduced for the automation of a wide spectrum of tasks such as: assembly of cars, white goods, electronic devices, machining of metal and plastic parts, and handling of workpieces and objects of all kinds. Robotics has thus soon become a synonym for competitive manufacturing and a key contributing technology for strengthening the economic base of Europe . So far, the automotive and electronics industries and their supply chains are the main users of robot systems and are accounting for more than 60% of the total annual robot sales. Robotic technologies have thus mainly been driven by the needs of these high-volume market industries. The degree of automation in the automotive industries is expected to increase in the future as robots will push the limits towards flexibility regarding faster change-over-times of different product types (through rapid programming generation schemes), capabilities to deal with tolerances (through an extensive use of sensors) and costs (by reducing customized work-cell installations and reuse of manufacturing equipment). There are numerous new fields of applications in which robot technology is not widespread today due to its lack of flexibility and high costs involved when dealing with varying lot sizes and variable product geometries. In such cases, hyper-flexible robotic work cells can help in providing flexibility to the system and making it adaptable to the different dynamic production requirements. Hyper-flexible robotic work cells, in fact, can be composed of sets of industrial robotic manipulators that cooperate to achieve the production step that characterize the work cell; they can be programmed and re-programmed to achieve a wide class of operations and they may result versatile to perform different kind of tasks Related key technology challenges for pursuing successful long-term industrial robot automation are introduced at three levels: basic technologies, robot components and systems integration. On a systems integration level, the main challenges lie in the development of methods and tools for instructing and synchronising the operation of a group of cooperative robots at the shop-floor. Furthermore, the development of the concept of hyper flexible manufacturing systems implies soon the availability of: consistent middleware for automation modules to seamlessly connect robots, peripheral devices and industrial IT systems without reprogramming everything (”plug-and-play”) . In this thesis both innovative and traditional industrial robot applications will be analyzed from the point of view of task coordination. In the modeling environment, contribution of this dissertation consists in presenting a new methodology to obtain a model oriented to the control the sequencing of the activities of a robotic hyperflexible cell. First a formal model using the Colored Modified Hybrid Petri Nets (CMHPN) is presented. An algorithm is provided to obtain an automatic synthesis of the CMHPN of a robotic cell with detail attention to aircraft industry. It is important to notice that the CMHPN is used to model the cell behaviour at a high level of abstraction. It models the activities of each cell component and its coordination by a supervisory system. As more, an object oriented approach and supervisory control are proposed to implement industrial automation control systems (based on Programmable Logic Controllers) to meet the new challenges of this field capability to implement applications involving widely distributed devices and high reuse of software components. Hence a method is proposed to implement both controllers and supervisors designed by Petri Nets on Programmable Logic Controllers (PLCs) using Object Oriented Programming (OOP). Finally preliminary results about a novel cyber-physical approach to the design of automated warehouse systems is presented. [edited by author]XIV n.s

An effective tool for supply chain decision support during new product development process

The global marketplace has transformed supply chain design into a discipline which requires business sense supported by mathematical expertise. Several methods have been introduced to support supply chain design, most notably mixed integer programming. The current methods are tailor-made for situations where a product's bill-of-material is fixed. However, this assumption does not hold during product development where several competing product designs exist. Therefore this research investigates the question of what is an effective way to support supply chain decisions during new product development. The study is divided into four research questions, corresponding to the articles from which the dissertation is compiled: (1) Does a product structure-driven method exist for modeling and analyzing supply chains? (2) If such a method is discovered, what is its mathematical formulation? (3) Is there evidence to support the theoretical and practical usability of such a method? (4) How can strategic supply chain decisions be validated? Regarding question (1) the research finds that there is a shortage of methods that fulfill supply chain modeling and analysis requirements imposed by new product development process. During the research a Petri-net based method was constructed which satisfies these requirements. For question (2), the formal definitions of the constructed Petri net class are provided. Regarding question (3), the research finds that the created method and associated tool are useful aids when solving the question of the effect of demand variation and the number of product variants on the optimal supply chain. Furthermore, interviews with end users of the tool implementation provide evidence of the Petri net method's practical usefulness. Regarding question (4), the research finds that the validation of strategic supply chain decisions from companies' reporting systems is important, but it has not become a common practice due to the challenges in integrating various IT systems

Experiences of simulation use in industrial projects

This paper presents experiences obtained from our involvement in the development of industrial simulation projects. Some important, common questions are covered, such as the need to define model behavior using a conceptual model, the problem of choosing the appropriate tool to code the model, and the validation and verification process required. As we will see, the scope of applicability of simulation is broad and the tools are therefore diverse. A clear understanding of the objectives of the simulation, the client’s aims and the resources at our disposal are key issues that often determine the success of a simulation project.Peer ReviewedPostprint (published version

Quality embedded intelligent remanufacturing

This thesis is motivated from the four keywords: remanufacturing, quality, multi-agent and intelligence. Recent years' environmental problems caused tightening the regulations and legislations for used products. Therefore remanufacturing is getting more attention. The quality of used products is uncertain and even dynamically changes during the remanufacturing process, and each used product should be individually handled in a different way depending on its quality. Fortunately recent developing wireless technologies like radio frequency identification (RFID) may enable remanufacturing control systems to identify, track, and control each used product and disassembled subassembly/part (PDSP) automatically. The multi-agent approach can be a good solution for the individual control of each PDSP, because a centralized control system is not eligible to managing so many elements in the remanufacturing system. The objective of this thesis is to propose a quality embedded remanufacturing system (QRS) which comprises a multi-agent framework and a scheduling mechanism. First, this thesis discusses the fundamental concepts for the proposed modeling tools and scheduling mechanism: the QRS quality characteristics and the multi-agent framework. As the second step, this thesis proposes QRS modeling tools which support the PDSP/resource quality representation and comprise: intuitive remanufacturing system representation (IRSR) and dynamic token two-level colored Petri-nets (DTPN). The former is designed from the user-side perspective and the latter is from the system-side perspective. The multi-agent framework is constructed based on the model represented with the proposed tools. Last, this thesis proposes a real-time scheduling mechanism for the QRS which enables the constructed framework to execute. The scheduling mechanism embeds a communication protocol among agents and dispatching rules formulated depending on the PDSP/resource quality. A knowledge-based approach is adopted to increase efficiency of the scheduling mechanism, where the knowledge is learned by simulations. A heuristic method is also proposed to reduce the simulation time

Second Workshop on Modelling of Objects, Components and Agents

This report contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'02), August 26-27, 2002.The workshop is organized by the 'Coloured Petri Net' Group at the University of Aarhus, Denmark and the 'Theoretical Foundations of Computer Science' Group at the University of Hamburg, Germany. The homepage of the workshop is: http://www.daimi.au.dk/CPnets/workshop02

Analyzing and improving air cargo terminal operations

Master'sMASTER OF ENGINEERIN

(I) A Declarative Framework for ERP Systems(II) Reactors: A Data-Driven Programming Model for Distributed Applications

To those who can be swayed by argument and those who know they do not have all the answers This dissertation is a collection of six adapted research papers pertaining to two areas of research. (I) A Declarative Framework for ERP Systems: • POETS: Process-Oriented Event-driven Transaction Systems. The paper describes an ontological analysis of a small segment of the enterprise domain, namely the general ledger and accounts receivable. The result is an event-based approach to designing ERP systems and an abstract-level sketch of the architecture. • Compositional Specification of Commercial Contracts. The paper de-scribes the design, multiple semantics, and use of a domain-specific lan-guage (DSL) for modeling commercial contracts. • SMAWL: A SMAll Workflow Language Based on CCS. The paper show

Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006

This booklet contains the proceedings of the Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2006. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop0