External links
Wikimedia Foundation. 2010.
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia
Red de Petri — Saltar a navegación, búsqueda Una Red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que… … Wikipedia Español
Криптодоказующие программы — Криптодоказующие программы это специальные программные средства, смоделированные на основе формальных моделей (например, модель Долева Яо) с использованием штатных средств и алгебры процессов, а также с приведением к математической логике… … Википедия
Petriscript — is a modelling language for Petri Nets, designed by [http://lip6.fr/Alexandre.Hamez Alexandre Hamez] and [http://www src.lip6.fr/ Xavier.Renault Xavier Renault] .The CPN AMI platform provides many tools to work on Petri net such as verifying or… … Wikipedia
Pampha Bhusal — ( ne. पम्फा भुसाल) is a Nepalese politician, belonging to the Communist Party of Nepal (Maoist). She is a Central Committee member of CPN(Maoist). [ [http://english.aljazeera.net/NR/exeres/3BD06B84 40C5 494B AAC7 194F8821A1B8.htm Al Jazeera… … Wikipedia
