Process architecture

About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.

Petri Net Synthesis

Abstract: This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial specifications of a system to be realized, decides whether the specifications are feasible, and then produces a Petri net realizing them exactly, or if this is not possible produces a Petri net realizing an optimal approximation of the specifications. In Part I the authors introduce elementary net synthesis. In Part II they explain variations of elementary net synthesis and the unified theory of net synthesis. The first three chapters of Part III address the linear algebraic structure of regions, synthesis of P/T-nets from finite initialized transition systems, and the synthesis of unbounded P/T-nets. Finally, the last chapter in Part III and the chapters in Part IV cover more advanced topics and applications: P/T-net with the step firing rule, extracting concurrency from transition systems, process discovery, supervisory control, and the design of speed-independent circuits. Most chapters conclude with exercises, and the book is a valuable reference for both graduate students of computer science and electrical engineering and researchers and engineers in this domain.

“What Is a Petri Net?” Informal Answers for the Informed Reader

Abstract: The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts This contribution tries to identify aspects common to all or at least to most Petri nets It concentrates on those features where Petri nets significantly differ from other modeling languages, ie we ask where the use of Petri nets leads to advantages compared to other languages Different techniques that are usually comprised under the header “analysis” are distinguished with respect to the analysis aim Finally, the role of Petri nets in the development of distributed systems is discussed

From planning support systems to mediated planning support: a structured dialogue to overcome the implementation gap

Abstract: Planning support systems (PSSs) are intended to facilitate relevant steps in planning processes; however, the academic evaluation of PSSs reveals many bottlenecks precluding a widespread use of these systems. A central weakness is the lack of communication between PSS developers (focusing on technical issues) and potential PSS users. Other academic fields such as knowledge management and technological innovation recognised similar bottlenecks years ago. On the basis of methods proposed in these fields, a new process architecture for the development of a PSS is proposed. Through a dialogue in which PSS developers and potential users discuss and use the PSS, existing tools, instruments, and models are refined and improved to be more useful to their potential users. The focus shifts away from the development of a technically more sophisticated support system, towards a process of PSS development which is intertwined with the planning process itself. This process architecture is called mediated planning suppo...

Hardware Design and Petri Nets

Abstract: From the Publisher: Presents a summary of the state-of-the-art in the applications of Petri nets to designing digital systems and circuits.

From Petri Nets to Linear Logic

Abstract: Linear logic has been recently introduced by Girard as a logic of actions that seems well suited for concurrent computation. In this paper, we establish a systematic correspondence between Petri nets, linear logic theories, and linear categories. Such a correspondence sheds new light on the relationships between linear logic and concurrency, and on how both areas are related to category theory. Categories are here viewed as concurrent systems whose objects are states, and whose morphisms are transitions. This is an instance of the Lambek-Lawvere correspondence between logic and category theory that cannot be expressed within the more restricted framework of the Curry-Howard correspondence.