Results 211 to 220 of about 4,712 (265)
SYNCHRONIZATION IN PETRI NETS [PDF]
Fundamenta Informaticae, 1996 In “Petti nets are Monoids” by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this framework lacks structure in the sense that there is no categorical technique to define a composition of nets satisfying some given ...
Paulo Blauth Menezes, José Félix Costa
openaire +2 more sources
On the semantics of Petri Nets [PDF]
, 2006 Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the “token game” is too intensional, even in its more abstract interpretations in term of nonsequential processes and monoidal categories; on the other hand, Winskel's basic unfolding ...
Meseguer, J., Montanari, U., Sassone, V.
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Discrete Event Dynamic Systems, 2001
The paper is a survey of results developed by the authors and by their team (Laboratoire d'Automatique de Grenoble) in elaborating a Hybrid Petri Nets Theory (i.e., PN consisting of interacting discrete and continuous subnets). The presentation is non-formal and is illustrated by a great number of interesting examples.
René David, Hassane Alla
openaire +2 more sources
The paper is a survey of results developed by the authors and by their team (Laboratoire d'Automatique de Grenoble) in elaborating a Hybrid Petri Nets Theory (i.e., PN consisting of interacting discrete and continuous subnets). The presentation is non-formal and is illustrated by a great number of interesting examples.
René David, Hassane Alla
openaire +2 more sources
Petri Net Transformations in the ≫Petri Net Baukasten≪
2003The purpose of this contribution is to give an overview of constructions and results for Petri net transformations in the ≫Petri Net Baukasten≪ developed by the “DFG-Forschergruppe Petrinetz-Technologie”. The two main concepts of Petri net transformations considered in this context are net class and net model transformations.
Benjamin Braatz +2 more
openaire +2 more sources
IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 1999
This paper presents the possibilistic Petri net model which combines possibility logic with Petri nets with objects. The main feature of this model is to allow one to reason about the aspects of uncertainty and change in dynamic discrete event systems.
Cardoso, Janette +2 more
openaire +5 more sources
This paper presents the possibilistic Petri net model which combines possibility logic with Petri nets with objects. The main feature of this model is to allow one to reason about the aspects of uncertainty and change in dynamic discrete event systems.
Cardoso, Janette +2 more
openaire +5 more sources
2004
Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we are mainly concerned with dependability evaluation based on probabilistic models.
BERNARDI, Simona +2 more
openaire +4 more sources
Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we are mainly concerned with dependability evaluation based on probabilistic models.
BERNARDI, Simona +2 more
openaire +4 more sources
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2005
Diagnosability of discrete event systems (DES) was formally defined in finite state machine (FSM) models by Sampath, et al. They gave a method for testing diagnosability by first constructing a diagnoser for the system. The complexity of this method is exponential in the number of states and doubly exponential in the number of failure types. Later, Yoo,
YuanLin Wen, MuDer Jeng
openaire +1 more source
Diagnosability of discrete event systems (DES) was formally defined in finite state machine (FSM) models by Sampath, et al. They gave a method for testing diagnosability by first constructing a diagnoser for the system. The complexity of this method is exponential in the number of states and doubly exponential in the number of failure types. Later, Yoo,
YuanLin Wen, MuDer Jeng
openaire +1 more source
Proceedings of 1st International Conference on Conventional and Knowledge Based Intelligent Electronic Systems. KES '97, 2002
Proposes a new model of a fuzzy Petri net and an algorithm to generate such a network automatically. As an example of the application of the fuzzy Petri net, it is used to classify the Iris data set. Although there are extensive examples of neural network-based classifiers in the literature, they all share the undesirable characteristic of a long ...
P. Cheng, K. Forward
openaire +2 more sources
Proposes a new model of a fuzzy Petri net and an algorithm to generate such a network automatically. As an example of the application of the fuzzy Petri net, it is used to classify the Iris data set. Although there are extensive examples of neural network-based classifiers in the literature, they all share the undesirable characteristic of a long ...
P. Cheng, K. Forward
openaire +2 more sources