Topic
Petri net
About: Petri net is a research topic. Over the lifetime, 25039 publications have been published within this topic receiving 406994 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: The approach is to make unmarked siphons satisfy cs-property when the elementary ones are properly supervised, the advantage of the novel method is that a much smaller number of supervisory monitors and arcs are added and unnecessary iterative processes are avoided.
98 citations
03 Jan 1988
TL;DR: A taxonomy of process abstraction methods is presented in an effort to characterize the fundamental concepts of level traversal and some observations on the future ofprocess abstraction in modeling are given.
Abstract: The concept of process abstraction, which allows simulationists to construct models composed of a set of interconnected levels, is discussed. Each level in the network represents the process at some given level of abstraction and is encoded using a model type (e.g. Petri net, automaton, data flow graph) appropriate to that level. An example process composed of articulated figures around a circular table is presented. After the process is formally defined at each level, the abstraction relationships between levels are discussed. A taxonomy of process abstraction methods is presented in an effort to characterize the fundamental concepts of level traversal. The application involving the animation of the process is described within the context of the HIRES simulation language that was constructed specifically to simulate and analyze multilevel simulations. Textual and graphical examples of HIRES output are included. Finally, some observations on the future of process abstraction in modeling are given. >
98 citations
TL;DR: SimQPN is presented--a simulation tool for QPNs that provides an alternative approach to analyze QPN models, circumventing the state space explosion problem and proposes a methodology for analyzing QPN model analysis by means of discrete event simulation.
98 citations
Proceedings Article•
01 Jan 1974
97 citations
TL;DR: The nature of the semantics of different approaches to incorporating time in Petri nets is illustrated by examples and the critical roles of conflict, confusion and concurrence in the formulation of execution policies are considered.
97 citations