NDLI: Método para el Modelado y Prueba de Diagramas de Actividades Mediante Redes de Petri

Please wait, while we are loading the content...

Método para el Modelado y Prueba de Diagramas de Actividades Mediante Redes de Petri

Content Provider	Semantic Scholar
Author	Hernández, Lionel Rodolfo Baquero Vega, Luis Enrique Argota Valdés, Osviel Rodríguez Ricardo, Febe Ángel Ciudad
Copyright Year	2015
Abstract	Las redes de Petri son ideales para describir y estudiar sistemas que procesan informacion y con caracteristicas concurrentes, asincronas, distribuidas, paralelas, no deterministicas y/o estocasticas. . Sin embargo, la teoria clasica de estas redes se enfrenta al desafio de adecuarse a las nuevas necesidades de los sistemas informaticos que los ingenieros disenan en la actualidad. Un diagrama de actividades representa una secuencia de actividades. Podria aplicarse a cualquier proposito, pero se considera especialmente util para visualizar los flujos de trabajo y los procesos del negocio, o casos de uso. El presente trabajo se ha desarrollado con el objetivo de disenar un metodo para el modelado y prueba de diagramas de actividades mediante redes de Petri. El metodo propuesto brinda una serie de pasos necesarios para modelar un diagrama de actividades con redes de Petri y a partir de dicha red obtener una representacion matematica de la misma. Esta representacion matematica se utiliza para con ella realizar una serie de operaciones basadas en el marcaje de la red que permiten realizar pruebas al diagrama. Este metodo es capaz de identificar errores comunes que se cometen en el modelado de los diagramas de actividades, lo cual se demostro a traves del metodo de experimentacion.
Starting Page	206
Ending Page	212
Page Count	7
File Format	PDF HTM / HTML
DOI	10.18294/relais.2015.206-212
Volume Number	3
Alternate Webpage(s)	http://revistas.unla.edu.ar/software/article/download/807/843
Alternate Webpage(s)	https://doi.org/10.18294/relais.2015.206-212
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in