Results 111 to 120 of about 23,744 (217)

Modelling, Verification, and Optimization of Process Plan Generation in Sustainable Reconfigurable Manufacturing Systems Using Evolutionary-Generated Petri Nets

open access: yesITEGAM-JETIA
Various evolutionary algorithms have been developed to address environmentally oriented multi-objective process planning challenges in reconfigurable manufacturing systems, though many prioritize effectiveness over flexibility.
Fareh mohamed elkabir   +2 more
doaj   +1 more source

Deterministic Petri net languages as business process specification language. [PDF]

open access: yes
Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for ...
De Backer, Manu, Snoeck, Monique
core  

On Fairness in Petri Nets

open access: yes, 1982
Introduction: Fairness is to be understood as performing actions in the order of their announcements. Related problems are studied in the Petri net model where actions correspond to the firings of transitions. An action in announced if a transition becomes firable, it is performed if this transition fires.
openaire   +2 more sources

An Approach to the Category of Net Computations

open access: yes, 1994
We introduce the notion of strongly concatenable process as a refinement of concatenable processes [DMM89] which can be expressed axiomatically via a functor $Q[-]$ from the category of Petri nets to an appropriate category of symmetric strict monoidal ...
Sassone, V.
core  

Fault Monitoring of Discrete Event Systems by First Order Hybrid Petri Nets

open access: yes, 2008
Fault monitoring is an essential requirement for safety and reliability of dynamic systems. Motivated by the fact that a large class of dynamic systems can be viewed as Discrete Event Systems (DESs) at some level of abstraction, the paper presents a ...
DOTOLI, Mariagrazia   +2 more
core  

Conflict Sets in Coloured Petri nets

open access: yes, 1993
Generalized stochastic Petri nets provide the modeller with immediate transitions, but a model will be correct only if the modeller can specify how to solve the firing conflicts between these transitions.
Dutheillet, Claude, Haddad, Serge
core  

Home - About - Disclaimer - Privacy