Searching for "Recursion and Petri nets." – sorted by Relevance.
-
Recursion and Petri Nets
- Recursion and Petri Nets Eike Best 1 , Raymond Devillers 2 , and Maciej Koutny 3 1 Fachb. Inf
- Add To MetaCart
-
Modelling and Analyzing Systems with Recursive Petri Nets
- MODELLING AND ANALYZING SYSTEMS WITH RECURSIVE PETRI NETS Serge Haddad LAMSADE - UPRESA 7024
- Cited by 1 (0 self) – Add To MetaCart
-
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets
- Checking Linear Temporal Formulas on Sequential Recursive Petri Nets Serge Haddad LAMSADE - UPRESA
- Add To MetaCart
-
A Recursive Model for Distributed Planning
- model for the representation and the handling of plans by means of Recursive Petri Nets (RPN) which
- Cited by 9 (0 self) – Add To MetaCart
-
Operational and Denotational Semantics for the Box Algebra
- and the denotational Petri net semantics of the box algebra including recursion. For the operational semantics
- Cited by 4 (0 self) – Add To MetaCart
-
Numeric Algorithms for Scientific Computing SYNACS03,
- check sequential recursive Petri nets against linear time µ-calculus (Haddad and Poitrenaud, 2001
- Add To MetaCart
-
R.: Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation
- nets to nets-within-nets), because they introduce recursivity to the Petri net theory (Köhler and Rölke
- Cited by 1 (0 self) – Add To MetaCart
-
Towards autonomic fault-tolerant multi-agent systems
- current goals. We represent the plan of an agent as an acyclic Recursive Petri Net (RPN) [El Fallah
- Cited by 2 (0 self) – Add To MetaCart

