Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • AccederRegistro (usuarios no UPC)Acceder (usuarios no UPC)
  • mailContacto
  • world Castellano 
    • Català
    • Castellano
    • English
  • userInicia sesión   
      AccederRegistro (usuarios no UPC)Acceder (usuarios no UPC)

UPCommons. Portal de acceso abierto al conocimiento de la UPC

57.066 E-prints UPC
You are here:
Ver ítem 
  •   UPCommons
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Ponències/Comunicacions de congressos
  • Ver ítem
  •   UPCommons
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Ponències/Comunicacions de congressos
  • Ver ítem
JavaScript is disabled for your browser. Some features of this site may not work without it.

Structural methods to improve the symbolic analysis of Petri nets

Thumbnail
Ver/Abrir
Structural+methods.pdf (296,8Kb)
Comparte:
 
 
10.1007/3-540-48745-X_3
 
  Ver Estadísticas de uso
Cita com:
hdl:2117/130422

Mostrar el registro completo del ítem
Pastor Llorens, EnricMés informacióMés informacióMés informació
Cortadella, JordiMés informacióMés informacióMés informació
Peña Basurto, Marco Antonio
Tipo de documentoTexto en actas de congreso
Fecha de publicación1999
EditorSpringer
Condiciones de accesoAcceso abierto
Todos los derechos reservados. Esta obra está protegida por los derechos de propiedad intelectual e industrial. Sin perjuicio de las exenciones legales existentes, queda prohibida su reproducción, distribución, comunicación pública o transformación sin la autorización del titular de los derechos
Resumen
Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an efficient strategy for the analysis of Petri nets. The existing techniques for the symbolic encoding of each marking use a fixed set of variables per place, leading to encoding schemes with very low density. This drawback has been previously mitigated by using Zero-Suppressed BDDs, that provide a typical reduction of BDD sizes by a factor of two. Structural Petri net theory provides P-invariants that help to derive more efficient encoding schemes for the BDD representations of markings. P-invariants also provide a mechanism to identify conservative upper bounds for the reachable markings. The unreachable markings determined by the upper bound can be used to alleviate both the calculation of the exact reachability set and the scrutiny of properties. Such approach allows to drastically decrease the number of variables for marking encoding and reduce memory and CPU requirements significantly.
CitaciónPastor, E.; Cortadella, J.; Peña, M. Structural methods to improve the symbolic analysis of Petri nets. A: International Conference on Application and Theory of Petri Nets. "Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN’99: Williamsburg, Virginia, USA, June 21-25, 1999: proceedings". Berlín: Springer, 1999, p. 26-45. 
URIhttp://hdl.handle.net/2117/130422
DOI10.1007/3-540-48745-X_3
ISBN978-3-540-48745-6
Versión del editorhttps://link.springer.com/chapter/10.1007/3-540-48745-X_3
Colecciones
  • Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.191]
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals - Ponències/Comunicacions de congressos [319]
  • CAP - Grup de Computació d'Altes Prestacions - Ponències/Comunicacions de congressos [762]
  • Departament d'Arquitectura de Computadors - Ponències/Comunicacions de congressos [1.773]
Comparte:
 
  Ver Estadísticas de uso

Mostrar el registro completo del ítem

FicherosDescripciónTamañoFormatoVer
Structural+methods.pdf296,8KbPDFVer/Abrir

Listar

Esta colecciónPor fechaAutoresOtras contribucionesTítulosMateriasEste repositorioComunidades & coleccionesPor fechaAutoresOtras contribucionesTítulosMaterias

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • Sobre esta web
  • Contacto
  • Sugerencias
  • Inici de la pàgina