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
••
TL;DR: In this paper, recent research on Petri net applications in batch processes is presented, and future directions are discussed.
79 citations
••
TL;DR: A unified approach for deriving complexity results for a number of Petri net problems is developed, first defining a class of formulas for paths in Petri nets, and showing that the satisfiability problem for these formulas is EXPSPACE complete.
Abstract: In this paper, we develop a unified approach for deriving complexity results for a number of Petri net problems. We first define a class of formulas for paths in Petri nets. We then show that the satisfiability problem for our formulas is EXPSPACE complete. Since a wide range of Petri net problems can be reduced to the satisfiability problem in a straightforward manner, our approach offers an umbrella under which many Petri net Problems can be shown to be solvable in EXPSPACE.
79 citations
••
12 May 1992TL;DR: A method for scheduling of flexible manufacturing systems by merging Petri net modeling and heuristic search and it becomes less urgent to analyze the large net to guarantee freedom from deadlock, or liveliness once an optimal schedule is developed.
Abstract: A method for scheduling of flexible manufacturing systems by merging Petri net modeling and heuristic search is presented. The method uses the Petri net model to generate and search a partial reachability graph, and presents an optimal or near-optimal schedule in terms of a firing sequence of transitions of the Petri net model of the system. This method can easily handle routing flexibility and shared resources. Taking this approach also relieves the analytical burden since it becomes less urgent to analyze the large net to guarantee freedom from deadlock, or liveliness once an optimal schedule is developed. Some heuristic functions to guide the search are explored, and preliminary results and the search algorithm are presented. >
79 citations
••
TL;DR: This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical PetriNet model, used to model and analyze a variety of systems in application domains ranging from logistics to office automation.
79 citations
••
TL;DR: This invited contribution aims to combine some historical facts with elements of a conceptual view on concurrent DEDS, giving pointers about the development of the field.
78 citations