Timed Petri Nets - Articles - Scientific Research Publishing

Mapping AADL to Petri Net Tool-Sets Using PNML Framework (Articles)

Hassan Reza, Amrita Chatterjee

Journal of Software Engineering and Applications Vol.7 No.11，October 24, 2014

DOI: 10.4236/jsea.2014.711082 5,712 Downloads 7,064 Views Citations
A Survey of Control Structures for Reconfigurable Petri Nets (Articles)

Julia Padberg, Kathrin Hoffmann

Journal of Computer and Communications Vol.3 No.2，February 27, 2015

DOI: 10.4236/jcc.2015.32002 4,026 Downloads 5,110 Views Citations
Performance and Availability Evaluation of Big Data Environments in the Private Cloud (Articles)

Tarcísio Rolim, Erica Sousa

Journal of Computer and Communications Vol.12 No.12，December 31, 2024

DOI: 10.4236/jcc.2024.1212015 42 Downloads 214 Views Citations
The Code of the Symmetric Net with m = 4 and μ = 2 (Articles)

Ahmad N. Al-Kenani

Open Journal of Discrete Mathematics Vol.2 No.1，January 20, 2012

DOI: 10.4236/ojdm.2012.21001 3,977 Downloads 8,009 Views Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models (Articles)

Mohamed El-Kamel Hamdane, Allaoui Chaoui, Martin Strecker

Journal of Software Engineering and Applications Vol.6 No.3，March 29, 2013

DOI: 10.4236/jsea.2013.63019 4,392 Downloads 8,349 Views Citations
Female Sexual Dysfunction and Timed Intercourse: A Prospective Study of 105 Infertile Women (Articles)

Liuhong Cai, Junxi Liu, Shaomin Lu, Jiamin Yin

Advances in Reproductive Sciences Vol.3 No.4，November 24, 2015

DOI: 10.4236/arsci.2015.34011 2,632 Downloads 3,994 Views Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2，February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,130 Downloads 4,176 Views Citations
PBB Efficiency Evaluation via Colored Petri Net Models (Articles)

Peter Vorobiyenko, Kirill Guliaiev, Dmitry Zaitsev, Tatiana Shmeleva

Communications and Network Vol.2 No.2，May 31, 2010

DOI: 10.4236/cn.2010.22018 5,681 Downloads 9,803 Views Citations
Data Timed Sending (DTS) Energy Efficient Protocol for Wireless Sensor Networks: Simulation and Testbed Verification (Articles)

Konstantin Chomu, Liljana Gavrilovska

Wireless Sensor Network Vol.5 No.8，August 28, 2013

DOI: 10.4236/wsn.2013.58019 4,338 Downloads 6,960 Views Citations
FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net (Articles)

Walid Ben Mesmia, Kamel Barkaoui, Mohamed Escheikh

Journal of Software Engineering and Applications Vol.16 No.9，September 14, 2023

DOI: 10.4236/jsea.2023.169022 149 Downloads 737 Views Citations
Design of Aperture Coupled Microstrip Antenna Using Radial Basis Function Networks (Articles)

Tanushree Bose, Nisha Gupta

Wireless Engineering and Technology Vol.1 No.2，November 3, 2010

DOI: 10.4236/wet.2010.12010 7,541 Downloads 13,121 Views Citations
Gas Exchange and Production of Photosynthetic Pigments of Piper aduncum L. Grown at Different Irradiances (Articles)

Fernanda Ventorim Pacheco, Helbert Rezende de Oliveira Silveira, Amauri Alves Alvarenga, Ivan Caldeira Almeida Alvarenga, José Eduardo Brasil Pereira Pinto, Jean Marcel Sousa Lira

American Journal of Plant Sciences Vol.4 No.12C，December 26, 2013

DOI: 10.4236/ajps.2013.412A3014 4,826 Downloads 6,849 Views Citations
This article belongs to the Special Issue on Plant Stress Response Research
Prevalence, Clinical Features and Outcome of Neonatal Malaria in Two Major Hospitals in Jos, North-Central Nigeria (Articles)

Udochukwu M. Diala, Kenneth I. Onyedibe, Akinyemi O. D. Ofakunrin, Olubunmi O. Diala, Bose Toma, Daniel Egah, Stephen Oguche

Advances in Infectious Diseases Vol.7 No.3，August 30, 2017

DOI: 10.4236/aid.2017.73007 1,467 Downloads 3,498 Views Citations
Assessment of the Willingness to Buy and the Use of Insecticide Treated Nets (ITN) among Caregivers of Under-Five Children Attending Immunization Clinics in a Private Tertiary Hospital in Plateau State, Nigeria (Articles)

Lucy Idoko, Kingsley C. Okafor, Gift M. Amlabu, Chidindu N. Idika, Blessing E. Oguche

Advances in Infectious Diseases Vol.10 No.2，May 11, 2020

DOI: 10.4236/aid.2020.102008 597 Downloads 1,867 Views Citations
A Parametric Colored Petri Net Model of a Switched Network (Articles)

Dmitry A. Zaitsev, Tatiana R. Shmeleva

Int'l J. of Communications, Network and System Sciences Vol.4 No.1，January 28, 2011

DOI: 10.4236/ijcns.2011.41008 7,218 Downloads 12,985 Views Citations
Sensor Robot Planning in Incomplete Environment (Articles)

Shan Zhong, Zhihua Yin, Xudong Yin, Yufeng Yao

Journal of Software Engineering and Applications Vol.4 No.3，March 18, 2011

DOI: 10.4236/jsea.2011.43017 4,611 Downloads 8,995 Views Citations
Architecture of Dynamic Service Composition Using Logic Petri Nets (Articles)

Xia Jiang, Bing Wu, Yuyue Du

Journal of Software Engineering and Applications Vol.4 No.10，October 11, 2011

DOI: 10.4236/jsea.2011.410068 4,199 Downloads 7,658 Views Citations
Using Stochastic Colored Petri nets for Designing Multi-Purpose Plants (Articles)

Hasan Hosseini-Nasab, Ali Sadri

Engineering Vol.4 No.10，October 10, 2012

DOI: 10.4236/eng.2012.410083 5,688 Downloads 7,831 Views Citations
Optimised Migrate Virtual Machine Rejuvenation (Articles)

Sanheji Manel, Azizi Ridha, Maaloul Alia

Journal of Computer and Communications Vol.3 No.8，August 14, 2015

DOI: 10.4236/jcc.2015.38004 4,140 Downloads 5,217 Views Citations
Agent Petri Nets Framework for Modeling Staphylococcus epidermidis Biofilm Formation (Articles)

Borhan Marzougui, Kamel Barkaoui, Mohamed Amine Makni

E-Health Telecommunication Systems and Networks Vol.5 No.1，March 21, 2016

DOI: 10.4236/etsn.2016.51003 2,766 Downloads 3,659 Views Citations

<123 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies