The International Research Conference Aims and Objectives
The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation
within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations.
With its high quality, it provides an exceptional value for students, academics and industry researchers.
International Conference on Petri Nets and Concurrency Theory and Applications
aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of
Petri Nets and Concurrency Theory and Applications.
It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations,
trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Petri Nets and Concurrency Theory and Applications.
Call for Contributions
Prospective authors are kindly encouraged to contribute to and help shape the conference through submissions of their research abstracts, papers and e-posters.
Also, high quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or
theoretical work in all areas of Petri Nets and Concurrency Theory and Applications are cordially invited for presentation at the conference.
The conference solicits contributions of abstracts, papers and e-posters that address themes and topics of the conference, including figures, tables and references of
novel research materials.
Guidelines for Authors
Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers.
Downloadable versions of the check list for
Full-Text Papers and
Abstract Papers.
Please refer to the
Paper Submission Guideline,
Abstract Submission Guideline and
Author Information
before submitting your paper.
Conference Proceedings
All submitted conference papers will be blind peer reviewed by three competent reviewers.
The peer-reviewed conference proceedings are indexed in the Open Science Index,
Google Scholar,
Semantic Scholar,
Zenedo,
BASE,
WorldCAT,
Sherpa/RoMEO,
and other index databases. Impact Factor Indicators.
Special Journal Issues
19. International Conference on Petri Nets and Concurrency Theory and Applications has teamed up with the Special Journal Issue on
Petri Nets and Concurrency Theory and Applications.
A number of selected high-impact full text papers will also be considered for the special journal issues.
All submitted papers will have the opportunity to be considered for this Special Journal Issue.
The paper selection will be carried out during the peer review process as well as at the conference presentation stage.
Submitted papers must not be under consideration by any other journal or publication.
The final decision for paper selection will be made based on peer review reports by the Guest Editors and the Editor-in-Chief jointly.
Selected full-text papers will be published online free of charge.
Conference Sponsor and Exhibitor Opportunities
The Conference offers the opportunity to become a conference sponsor or exhibitor.
To participate as a sponsor or exhibitor, please download and complete the
Conference Sponsorship Request Form.
Selected Papers
-
Energy-Aware Scheduling in Real-Time Systems: An Analysis of Fair Share Scheduling and Priority-Driven Preemptive Scheduling
Su Xiaohan, Jin Chicheng, Liu Yijing, Burra Venkata Durga Kumar
-
Automated Fact-Checking By Incorporating Contextual Knowledge and Multi-Faceted Search
Wenbo Wang, Yi-fang Brook Wu
-
Security Design of Root of Trust Based on RISC-V
Kang Huang, Wanting Zhou, Shiwei Yuan, Lei Li
-
An Induction Motor Drive System with Intelligent Supervisory Control for Water Networks Including Storage Tank
O. S. Ebrahim, K. O. Shawky, M. A. Badr, P. K. Jain
-
Supervisory Controller with Three-State Energy Saving Mode for Induction Motor in Fluid Transportation
O. S. Ebrahim, K. O. Shawky, M. O. Ebrahim, P. K. Jain
-
Approach for a Safety Element out of Context for an Actuator Circuit Control Module
H. Noun, C. Urban-Seelmann, M. Abdelfattah, G. Zeller, G. Rajesh, I. Mozgova, R. Lachmayer
-
Validation of Automotive Centrals Using Hardware in the Loop-Body Control Unit and Lights
Marley Rosa Luciano, Rodney Rezende Saldanha
-
Digital Twin of Real Electrical Distribution System with Real Time Recursive Load Flow Calculation and State Estimation
Anosh Arshad Sundhu, Francesco Giordano, Giacomo Della Croce, Maurizio Arnone
-
A Timed and Colored Petri Nets for Modeling and Verifying Cloud System Elasticity
W. Louhichi, M.Berrima, N. Ben Rajeb Robbana
-
Redesigning Business Processes: A Method Based on Simulation and Process Mining Techniques
Zahra Mohammadnazari, Fateme Rostambeygi, Fatemeh Dehrouyeh, Hwang Ki-Soon, Amir Aghsami
-
Supervisory Control for Induction Machine with a Modified Star/Delta Switch in Fluid Transportation
O. S. Ebrahim, K. O. Shawky, M. A. Badr, P. K. Jain
-
Extending the Aspect Oriented Programming Joinpoint Model for Memory and Type Safety
Amjad Nusayr
-
Embedded Hardware and Software Design of Omnidirectional Autonomous Robotic Platform Suitable for Advanced Driver Assistance Systems Testing with Focus on Modularity and Safety
Ondřej Lufinka, Jan Kadeřábek, Juraj Prstek, Jiří Skála, Kamil Kosturik
-
Hardware Error Analysis and Severity Characterization in Linux-Based Server Systems
N. Georgoulopoulos, A. Hatzopoulos, K. Karamitsios, K. Kotrotsios, A. I. Metsai
-
Neural Network Supervisory Proportional-Integral-Derivative Control of the Pressurized Water Reactor Core Power Load Following Operation
Derjew Ayele Ejigu, Houde Song, Xiaojing Liu
Digital Program consists of the e-proceedings book which is available online-only
and includes the conference communications (proceedings abstracts and papers).
Registered participants can access the digitally available conference
proceedings ( and certificates ) by visiting their profile pages.
Concurrency
Model checking and verification of distributed systems
Verification of infinite-state or parametric systems
Causality/partial order theory of concurrency
Educational issues related to concurrency
New developments in the theory of concurrency
Modelling of hardware and biological systems
Petri Nets
Analysis and synthesis, structure and behavior of nets
System design and model-driven development using nets
Relationships between Petri nets and other approaches
Net-based semantical, logical and algebraic calculi
Higher-level net models
Stochastic net models
Verification and model checking using nets
Process discovery and conformance checking
Computer tools for nets
Standardization of nets
Systems and Application Fields
Flexible manufacturing systems
Office automation
Real-time systems
Workflows
Embedded systems
Process mining
Biological systems
Supervisory control
Health and medical systems
Protocols and networks
Environmental systems
Internet and web services
Hardware
e-Commerce and trading
Telecommunications
Programming languages
Railway networks
Performance evaluation
Component-based development
Operations research
Abstracts/Full-Text Paper Submission Deadline |
|
January 15, 2025 |
Notification of Acceptance/Rejection |
|
January 31, 2025 |
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline |
|
May 10, 2025 |
Conference Dates |
|
June 05-06, 2025 |