MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Synchronization in Petri Nets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

31 documents found, showing 1 through 10. Next 10 →

ATOM

Synchronization in Petri Nets
by P. Blauth Menezes, J. Félix Costa — 1993 — Annales Societatis Mathematicae Polonae, IOS
…Synchronization in Petri Nets P. Blauth MENEZES † and J. Félix COSTA †† † Departamento de…
Cited by 5 (5 self) – Add To MetaCart

Coding Mobile Synchronizing Petri Nets into Rewriting Logic”, this paper is electronically
by Fernando Rosa-velardo
…Abstract RULE 2006 Coding Mobile Synchronizing Petri Nets into Rewriting Logic ⋆ Fernando Rosa…
Cited by 2 (0 self) – Add To MetaCart

Modular modeling and analysis of a distributed production system with distant specialized maintenance
by Daniel Racoceanu, Noureddine Zerhouni, Nawal Addouche — Proc. of the 2002 IEEE International Conference on Robotics and Automation, on CD ROM
… specialized telemaintenance actions are studied together. Stochastic synchronized Petri nets are used…
Cited by 2 (2 self) – Add To MetaCart

On the Validation of Robotics Control Systems Part II: Analysis of real-time closed-loop control tasks
by Daniel Simon, Daniel Simon, Eduardo Castillo, Eduardo Castillo, Paul Freedman, Paul Freedman, Projet Icare — 1995 — IEEE Trans. on Control Systems Technology
…, synchronization, Petri net modeling, veri��cation (R#sum# : tsvp) INRIA Sophia-Antipolis, e-mail: dsimon…
Cited by 4 (3 self) – Add To MetaCart

Formal Modeling of Synchronization Methods for Concurrent Objects in Ada 95
by Ravi K. Gedela, Sol M. Shatz, Haiping Xu — Proceedings of the ACM Annual International Conference on Ada (SIGAda'99
…, concurrent objects, distributed software, synchronization methods, Petri net formalism Permission to make…
Cited by 1 (1 self) – Add To MetaCart

On Traffic Light Control Of Regular Towns
by Cohen Gaubert Mancinelli, G. Cohen, S. Gaubert, E. Mancinelli, J. P. Quadrat, E. Rofman — 1997 — Specification
… first describe a model of traffic light synchronization based on Petri net modelling and max…
Cited by 1 (0 self) – Add To MetaCart

Concurrent Regular Expressions and their Relationship to Petri Nets
by Vijay K. Garg, M.T. Raghunath — 1992 — Theoretical Computer Science
… and synchronization in Petri nets. The resulting automata called Decomposed Petri Net and their equivalent concurrent…
Cited by 15 (2 self) – Add To MetaCart

O Ambiente Integrado SAMM de Suporte à Sincronização de Dados Multimídias Pré-orquestrados
by Ronaldo Mussauer de Lima, Lima Flvio, Paulo André da S. Gonçalves, Flávio Paiva Junqueira, Paulo Andr, S. Gonalves, Otto Carlos, Otto Carlos Muniz B. Duarte
…. Keywords: Multimedia Systems, Synchronization, Petri Nets, Computer Network. 1. INTRODUO O crescente…
Add To MetaCart

Fuzzy Petri nets for monitoring and recovery
by Eugenia Minca, Daniel Racoceanu, Noureddine Zerhouni — Robotics and Automation, Proceedings. ICRA'03, IEEE International Conf
… by the synchronized Petri nets [11], adapted to the fuzzy variables transmission. In the next paragraph, we define…
Cited by 1 (0 self) – Add To MetaCart

1. FUZZY LOGIC APPROACH FOR
by Eugenia Minca, Daniel Racoceanu, Noureddine Zerhouni
… by the synchronized Petri nets [11], adapted to the fuzzy variables transmission. In the next paragraph, we define…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB