Results 11  20
of
1,320
Petri Algebras
"... Abstract. The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri algebras, for which one can mimic the token game of Petri nets to define the behaviour of generalized Petri net ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri algebras, for which one can mimic the token game of Petri nets to define the behaviour of generalized Petri
Modeling Petri Nets As Local Constraint Equations For Hybrid Systems Using Modelica
 In: proceedings of the Summer Computer Simulation Conference 98
, 1998
"... To model complex mixed continuous/discrete, hybrid, systems, the continuous part can be described by differential and algebraic equations using an objectoriented modeling language such as Modelica. It is shown how a discrete formalism such as Petri nets can be incorporated by describing all compone ..."
Abstract

Cited by 23 (4 self)
 Add to MetaCart
To model complex mixed continuous/discrete, hybrid, systems, the continuous part can be described by differential and algebraic equations using an objectoriented modeling language such as Modelica. It is shown how a discrete formalism such as Petri nets can be incorporated by describing all
FLUID Stochastic Petri Nets (FSPN) or Hybrid Petri Nets
"... Abstract—Fluid Stochastic (or Hybrid) Petri Nets with flushout arcs are Petri netbased models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold a positive amount of fluid, represented by a real number. For this kind of ..."
Abstract
 Add to MetaCart
solution that makes use of Kroneckeralgebra. Index Terms—NonMarkovian models, fluid stochastic petri nets, numerical techniques. æ
On the Problem of Characterizing Boolean Petri Nets
"... Petri nets are used for describing, designing and studying discrete eventdriven systems that are characterized as being concurrent, asynchronous, distributed, parallel, and/or nondeterministic. As a graphical tool, Petri net can be used for planning and designing a system with given objectives, mor ..."
Abstract
 Add to MetaCart
Petri nets are used for describing, designing and studying discrete eventdriven systems that are characterized as being concurrent, asynchronous, distributed, parallel, and/or nondeterministic. As a graphical tool, Petri net can be used for planning and designing a system with given objectives
On A Presentation Of Petri Nets And Their Morphisms
, 1999
"... Introduction and Motivation Working with systemdesigning one has often to transform a simple, but usually not readable model of a system to a more complicated but easier to analyzing form. In the paper Petri nets of a class are represented as members of an equationally defined class of structures. ..."
Abstract
 Add to MetaCart
Introduction and Motivation Working with systemdesigning one has often to transform a simple, but usually not readable model of a system to a more complicated but easier to analyzing form. In the paper Petri nets of a class are represented as members of an equationally defined class of structures
A survey of Petri nets methods for controlled discrete event systems
 DISCRETE EVENT DYNAMIC SYSTEMS: THEORY AND APPLICATIONS
, 1997
"... This paper surveys recent research on the application of Petri net models to the analysis and synthesis of controllers for discrete event systems. Petri nets have been used extensively in applications such as automated manufacturing, and there exists a large body of tools for qualitative and quant ..."
Abstract

Cited by 100 (4 self)
 Add to MetaCart
programming approach which takes advantage of the linear structure of the Petri net state transition equation, and pathbased algorithms which take advantage of the graphical structure of Petri net models. Extensions to timed models are briefly described. The paper concludes with a discussion of directions
How to calculate symbolically siphons and traps for some algebraic Petri nets
 IN PREPARATION
, 1996
"... We present a symbolic approach to the calculation of siphons and traps for algebraic Petri nets where the color domains are specified without equations and with at most unary operation symbols. ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We present a symbolic approach to the calculation of siphons and traps for algebraic Petri nets where the color domains are specified without equations and with at most unary operation symbols.
Siphons and Traps of Algebraic Petri Nets
 In preparation
, 1996
"... We overview recent results concerning the symbolic verification and calculation of siphons and traps for algebraic Petri nets and their relation to the net behavior. ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
We overview recent results concerning the symbolic verification and calculation of siphons and traps for algebraic Petri nets and their relation to the net behavior.
Translating DIAlgebra to Petri Nets
, 1999
"... This extended abstract describes the theory behind a compiler for translating DIalgebra to Petri nets. Some background about the nature of the problem and its implications for asynchronous circuit design are given. It is concluded that such a translation is of both practical and theoretical interes ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This extended abstract describes the theory behind a compiler for translating DIalgebra to Petri nets. Some background about the nature of the problem and its implications for asynchronous circuit design are given. It is concluded that such a translation is of both practical and theoretical
Feedback Control of Petri Nets Based on Place Invariants
, 1996
"... This report describes a method for constructing a Petri net controller for a discrete event system modeled by a Petri net. The controller consists only of places and arcs and is computed based on the concept of place invariants of the net. The size of the controller is proportional to the number of ..."
Abstract

Cited by 67 (18 self)
 Add to MetaCart
of the constraints which must be satisfied. This method can accommodate constraints written as logic formulas, algebraic inequalities or equalities. Keywords: Discrete Event Systems, Petri Nets 1 Introduction Petri nets are a very appropriate tool for the study of discreteevent dynamical systems because
Results 11  20
of
1,320