Recent Advances in Petri Nets Modeling, 2nd Volume
A special issue of Applied Sciences (ISSN 2076-3417). This special issue belongs to the section "Computing and Artificial Intelligence".
Deadline for manuscript submissions: closed (31 July 2023) | Viewed by 1824
Special Issue Editors
Interests: petri nets; embedded systems; hardware/software co-design; reconfigurable computing platforms; FPGA; model-based development; design automation; cyberphysical systems; globally asynchronous locally synchronous (GALS) systems
Special Issues, Collections and Topics in MDPI journals
Interests: Petri nets; graphical specification languages; languages and tools for object-oriented and model-driven software development; mobile computing; computer science education; curriculum development
Special Issues, Collections and Topics in MDPI journals
Special Issue Information
Dear Colleagues,
Models play a fundamental role in science and engineering, as abstraction and reduction allow the intended rigor and preciseness. Their readability also allows and facilitates their use as the basis for communication between users and engineers.
Petri nets are very suitable to support this interaction, as they can graphically specify sequence, concurrency, conflicts, and synchronizations. Petri nets provide a mathematically rigorous language for the construction of models with precise semantics, which can then be simulated and verified with modern computing tools.
This has made Petri nets a well-known formalism widely used in different application areas. In order to tune the models to specific application areas, several extensions of Petri nets have been defined, originating from different classes of Petri nets (e.g., synchronized, colored, timed, object-oriented, continuous).
The main aim of this Special Issue is to seek high-quality submissions addressing original research on Petri net modeling, as well as those on topics relevant to distributed and concurrent systems.
The topics of interest include but are not limited to:
- System design and model-driven development using nets;
- Structuring and composability in Petri nets modeling;
- Verification and model checking using nets;
- Tools for modeling and verification;
- Tools for rapid prototyping using nets;
- Code generation from Petri nets models;
- Relationships between Petri nets and other approaches;
- Applications in different areas, such as healthcare systems, industrial automation, home and building automation, smart grids, manufacturing systems, real-time systems, chemistry processes, and social sciences;
- Applications to cyberphysical systems, Internet of Things, embedded systems, controller network, automotive networks, and wireless sensor networks, among others.
Papers reporting new and unpublished advances on any aspect of these topics are welcomed.
Prof. Dr. Luis Gomes
Prof. Dr. João Paulo Barros
Guest Editors
Manuscript Submission Information
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Applied Sciences is an international peer-reviewed open access semimonthly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2400 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
Keywords
- model-based development
- model-driven engineering
- system simulation
- verification
- model checking
- computer tools
- behavioral models
- executable models
