Topic
Process architecture
About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.
Papers published on a yearly basis
Papers
More filters
11 Dec 2012
TL;DR: A major update of the software tool TimeNET, a package for the modeling and performance evaluation of standard and colored stochastic Petri nets, is presented, which includes an efficient simulation module for complex colored models.
Abstract: The paper presents a major update of the software tool TimeNET, a package for the modeling and performance evaluation of standard and colored stochastic Petri nets. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets including non-exponentially distributed delays, as well as an efficient simulation module for complex colored models. An overview of the tool is given as well as a description of the new features, which are demonstrated using a manufacturing system application example. The tool is available free of charge for non-commercial use.
76 citations
TL;DR: A scheduling model for optimal production sequencing in a flexible assembly system that is modeled using timed Petri nets and task scheduling is solved with a dynamic programming algorithm to minimize the completion time for a single product or a batch of products.
Abstract: This paper investigates a scheduling model for optimal production sequencing in a flexible assembly system. The system features a set of machines working together in the same workspace, with each machine performing a subset of operations. Three constraints are considered: (1) the precedence relation among the operations specified by the assembly tree; (2) working space that limits concurrent operations; and (3) the variation of process time. The objective is to find both a feasible assignment of operations to machines and schedule tasks in order to minimize the completion time for a single product or a batch of products. The assembly process is modeled using timed Petri nets and task scheduling is solved with a dynamic programming algorithm. The method calculates the time required precisely. A detailed case study is discussed to show the effectiveness of the model and algorithm.
76 citations
15 Jul 2002
TL;DR: Reference nets are a well-established means for the description of concurrent systems as discussed by the authors, which can be used to design executable multi-agent systems while hiding the sometimes annoying details of concurrent implementations in traditional programming languages.
Abstract: A multi-agent system has a high degree of concurrency. Petri nets are a well-established means for the description of concurrent systems. Reference nets are higher level, object-oriented Petri nets. With Renew (REference NEt Workshop), there exists a tool to model and execute reference nets with seamless Java integration. So, reference nets can be used to design executable multi-agent systems while hiding the sometimes annoying details of concurrent implementations in traditional programming languages. The technique is currently used to implement a FIPA-compliant agent platform for multi-agent systems (called CAPA) focused on retaining a maximum level of concurrency in the system.
75 citations
Book•
25 Nov 2010
TL;DR: In this paper, Petri Nets with Time Petri nets with time and Timed Automata have been used to express temporal properties of timed systems and their properties have been discussed.
Abstract: Specifying Timed Systems and Their Properties.- Petri Nets with Time.- Timed Automata.- From Time Petri Nets to Timed Automata.- Main Formalisms for Expressing Temporal Properties.- Model Generation and Verification.- Abstract Models.- Explicit Verification.- Verification Based on Satisfiability Checking.
75 citations
TL;DR: A class of hybrid Petri nets is shown to provide a valuable model of urban networks of signalised intersections that can be fruitfully considered to be hybrid systems, where the vehicle flow behaviour is represented by means of a time-driven model, and the traffic light dynamics are represented by an event-driven models.
74 citations