Red de Petri

De Wikipedia, la enciclopedia libre Una Red de Petri es una representacin matemtica o grfica de un sistema a eventos discretos en el cual se puede describir la topologa de un sistema distribuido, paralelo o concurrente. La red de Petri esencial fue definida en la dcada de los aos 1960 por Carl Adam Petri. Son una generalizacin de la teora de autmatas que permite expresar un sistema a eventos concurrentes. Una red de Petri est formada por si lugares, transiciones, arcos dirigidos y marcas o fichas que ocupan posiciones Ejemplo de la trayectoria de una red de Petri. dentro de los lugares. Las reglas son: Los arcos conectan un lugar a una transicin as como una transicin a un lugar. No puede haber arcos entre lugares ni entre transiciones. Los lugares contienen un nmero finito o infinito contable de marcas. Las transiciones se disparan, es decir consumen marcas de una posicin de inicio y producen marcas en una posicin de llegada. Una transicin est habilitada si tiene marcas en todas sus posiciones de entrada. En su forma ms bsica, las marcas que circulan en una red de Petri son todas idnticas. Se puede definir una variante de las redes de Petri en las cuales las marcas pueden tener un color (una informacin que las distingue), un tiempo de activacin y una jerarqua en la red. La mayora de los problemas sobre redes de Petri son decidibles, tales como el carcter acotado y la cobertura. Para resolverlos se utiliza un rbol de Karp-Miller. Se sabe que el problema de alcance es decidible, al menos en un tiempo exponencial.

ndice
1 Definicin de las Redes de Petri 2 reas de aplicacin 3 Herramientas de programacin 4 Vase tambin 5 Bibliografa 6 Enlaces externos

Definicin de las Redes de Petri

Mediante una red de Petri puede modelarse un sistema de evolucin en paralelo o eventos concurrentes compuesto de varios procesos que cooperan para la realizacin de un objetivo comn. La presencia de marcas se interpreta habitualmente como presencia de recursos. El franqueo de una transicin (la accin a ejecutar) se realiza cuando se cumplen unas determinadas precondiciones, indicadas por las marcas en las fichas (hay una cantidad suficiente de recursos), y la transicin (ejecucin de la accin) genera unas postcondiciones que modifican las marcas de otras fichas (se liberan los recursos) y as se permite el franqueo de transiciones posteriores.

Definicin: Una red de Petri es un conjunto formado por ES conjunto de fichas de cardinal , un conjunto de transiciones de cardinal incidencia previa que viene definida como

, donde es un la aplicacin de

la aplicacin de incidencia posterior que viene definida como

Definicin: Una red marcada es un conjunto formado por definida, es una aplicacin denominada marcado y .

donde

es una Red de Petri como la

Se asocia a cada marca un nmero natural por lo tanto en donde el nmero de marcas es descrita por la la cardinalidad del conjunto de marcas en la red.

reas de aplicacin
Anlisis de datos Diseo de software Fiabilidad Flujo de trabajo Programacin concurrente

Herramientas de programacin
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. ARP CoopnTools CPN-AMI CPN Tools CPN ML DPNSchematic HiQPN-Tool HPSim Integrated Net Analyzer JARP : Petri Nets Analyzer. Web de desarrollo http://jarp.sourceforge.net/ JFern: Rakiura JFern (http://sourceforge.net/projects/jfern) "Java based Petri Net framework (2003)" framework ligero con simulador, desarrollado en java. JPetriNet: web de desarrollo http://jpetrinet.sourceforge.net/ Maria: web oficial http://www.tcs.hut.fi/Software/maria/ Marigold Model-Checking Kit NEPTUN PEP PetriEdiSim Platform Independent Petri Net Editor

20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 40. 41. 42. 43. 44. 45. 46.

Petrigen PetriSim Petri Net Browser Petri Net Kernel Petri Net Simulator PIPE (Platform Independent Petri net Editor 2) (http://pipe2.sourceforge.net/) PNES PNSim PNtalk Poseidon Poses++ Predator PROD Renew SEA SimPRES SIPN-Editor SimulaWorks StpnPlay Tina Visual Object Net ++ WebSPN WINSIM Woflan Woped XPetri XRL

Vase tambin
Autmata finito Flujo de trabajo Diagrama de flujo

Bibliografa
Decidability Issues for Petri Nets a survey (http://citeseer.ist.psu.edu/226920.html). Javier Esparza, Mogens Nielsen 1994 Harald Strrle: Models of Software Architecture - Design and Analysis with UML and Petri-Nets, Books on Demand GmbH, ISBN 3-8311-1330-0 Robert-Christoph Riemann: Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus, Herbert Utz Verlag, ISBN 3-89675-629-X Kurt Jensen: Coloured Petri Nets, Springer Verlag, ISBN 3-540-62867-3 Janette Cardoso, Heloisa Camargo: Fuzziness in Petri Nets, Physica-Verlag, ISBN 3-7908-1158-0 James Lyle Peterson: Petri Net Theory and the Modeling of Systems, Prentice Hall, ISBN 0136619835 Mengchu Zhou, Frank Dicesare: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, ISBN 0792392892

Mengchu Zhou: Modeling, Simulation, & Control of Flexible Manufacturing Systems: A Petri Net Approach, World Scientific Publishing Company, ISBN 981023029X

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Red de Petri. YASPER Process Modeling Software (http://www.yasper.org/screenshots.html) Petri Nets World (http://www.informatik.uni-hamburg.de/TGI/PetriNets/) Petri Net Markup Language (http://informatik.hu-berlin.de/top/pnml/about.html) exchangeable Routing Language (http://tmitwww.tm.tue.nl/staff/anorta/XRL/xrlHome.html) Citations from CiteSeer (http://citeseer.org/cs?q=Petri+net) Introduccin a las redes de Petri. Aplicacin prctica en (http://www.fortunecity.es/felices/lapaz/110/Petri_Index_Spa.html) Obtenido de http://es.wikipedia.org/w/index.php?title=Red_de_Petri&oldid=70773308 Categoras: Lenguajes de especificacin Diagramas Esta pgina fue modificada por ltima vez el 13 nov 2013, a las 07:41. El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables clusulas adicionales. Lanse los trminos de uso para ms informacin. Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.

multitarea.