scispace - formally typeset
Search or ask a question
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
More filters
Journal ArticleDOI
TL;DR: In this paper, recent research on Petri net applications in batch processes is presented, and future directions are discussed.

79 citations

Journal ArticleDOI
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

Proceedings ArticleDOI
12 May 1992
TL;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

Journal ArticleDOI
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

Journal ArticleDOI
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


Network Information
Related Topics (5)
Software development
73.8K papers, 1.4M citations
82% related
Scheduling (computing)
78.6K papers, 1.3M citations
82% related
Control theory
299.6K papers, 3.1M citations
82% related
Control system
129K papers, 1.5M citations
81% related
Server
79.5K papers, 1.4M citations
81% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202318
202249
20216
20207
201916
201821