Exploració per tema "Xarxes de Petri"
Ara es mostren els items 1-10 de 10
-
A performance analysis tool of discrete-events systems
(2007-01)
Report de recerca
Accés obertThe analysis of the logic correctness of the system and its performance evaluation are usually carried out using, respectively, the Petri nets formalism and the discrete-event simulation. Several tools exist for both. The ... -
Automated construction of compound Markov chains from generalized stochastic high-level Petri nets
(1989)
Text en actes de congrés
Accés obertA new type of Petri nets: Generalized Stochastic High-Level Petri nets (GSHLPN’s), collecting the qualities of GSPN’s and SHLPN’s, is presented. The automated construction of compound continuous-time Markov chains (CTMC’s) ... -
Automatització d'una cèl·lula de fabricació flexible
(Universitat Politècnica de Catalunya, 2006-06)
Projecte/Treball Final de Carrera
Accés obertAl món industrial es presenten, de forma sovint, petites instal·lacions industrials dedicades a la producció de peces mecàniques que ofereixen una fabricació de caràcter flexible. Molts cops es desitja disposar d’un control ... -
CC4Spark: Distributing event logs and big complex conformance checking problems
(CEUR-WS.org, 2021)
Text en actes de congrés
Accés obertConformance checking is one of the disciplines that best exposes the power of process mining, since it allows detecting anomalies and deviations in business processes, helping to assess and improve the quality of these. ... -
Desenvolupament d'eines de suport per a l'estudi de sistemes de fabricació mitjançant la simulació basada en esdeveniments discrets: Generació automàtica de codi SIMAN a partir de xarxes de Petri i aplicació per a l'anàlisi de resultats
(Universitat Politècnica de Catalunya, 2006-06)
Projecte/Treball Final de Carrera
Accés obert -
Una eina per verificar propietats en xarxes de petri usant àlgebra lineal
(Universitat Politècnica de Catalunya, 2010-07-01)
Projecte/Treball Final de Carrera
Accés obert -
Modelización y Programación de una Célula de Control Flexible mediante el Empleo de Redes de Petri
(Universitat Politècnica de Catalunya, 2010-06)
Projecte/Treball Final de Carrera
Accés obertEn el presente documento se explora la utilidad de las Redes de Petri a la hora de modelar y diseñar el software de control en los sistemas de fabricación que se encuentran gobernados por controladores lógicos programables. El ... -
Parallel complexity in the design and analysis of concurrent systems
(1990-10)
Report de recerca
Accés obertWe study the parallel complexity of three problems on concurrency: decision of firing sequences for Petri nets, trace equivalence for partially commutative monoids, and strong bisimilarity in finite transition systems. We ... -
Study for the design of a management system for AGV networks
(Universitat Politècnica de Catalunya, 2019-06)
Projecte Final de Màster Oficial
Accés obertAutomated Guided Vehicles are a vital part of the future intelligent manufacturing processes. In order to make the better profit, it is important to study if deadlocks can occur and how to tackle them. In this project we ... -
Verificació de sistemes concurrents basada en Constraint-Programming
(Universitat Politècnica de Catalunya, 2010-07-12)
Projecte/Treball Final de Carrera
Accés obertL'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.