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: In this article, P-time Petri Nets are used to model and evaluate performances of manufacturing systems with staying time constraints, where the model of such a system including its control is a Strongly Connected Event Graph, two linear programs can be expressed to obtain the minimum and the maximum average cycle time.
99 citations
24 Sep 2007
TL;DR: This paper introduces interaction Petri nets, a Petri net extension for representing global interaction models, and algorithms for deriving the behavioral interface for each partner and for enforceability checking are provided.
Abstract: In scenarios where a set of independent business partnersengage in complex conversations, global interaction models are a meansto specify the allowed interaction behavior from a global perspective.In these models atomic interactions serve as basic building blocks andbehavioral dependencies are defined between them. Global interactionmodels might not be locally enforceable, i.e. they specify constraints thatcannot be enforced during execution without additional synchronizationinteractions. As this property has only been defined textually so far, thispaper presents a formal definition. For doing so, this paper introducesinteraction Petri nets, a Petri net extension for representing global interactionmodels. Algorithms for deriving the behavioral interface for eachpartner and for enforceability checking are provided.
98 citations
TL;DR: The structural properties and temporal specifications of GSPN are summarized, and application examples are illustrated, trying to emphasize the methodology to be followed in the model development and validation, rather than the numerical results that can be obtained from the specific models developed in the paper.
98 citations
23 Jun 1997
TL;DR: Based on Y. Shoham's paradigm, multi-agent-systems are presented as a specialization of distributed, Object-Oriented systems, equipped with knowledge, general concurrent inference mechanisms dealing with this knowledge, and a declarative agent program.
Abstract: Based on Y. Shoham's paradigm, called Agent-Oriented Programming (AOP), multi-agent-systems are presented as a specialization of distributed, Object-Oriented systems. Equipped with knowledge, general concurrent inference mechanisms dealing with this knowledge, and a declarative agent program, these multi-agent-systems are intended to be a foundation of a new approach uniting advantages of many contributing areas: The precise semantics of Petri nets, the abstraction and encapsulation proposed in Object-Oriented approaches, and the power of logic programming, making it easy to adopt well-known AI-methods. As an example, an urban traffic information system will be designed which solves path searching problems in a distributed graph.
98 citations
TL;DR: An on-line maximally permissive control policy for deadlock avoidance (MAXWIP) is devised, which can be efficiently implemented by incorporating the ''outer-loop'' control decisions via certain dispatching control inputs.
98 citations