Contact e-mail: pnse24@easychair.org
ScopeFor the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modeling, simulation, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability. The workshop PNSE'24 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2024. The use of Petri nets (P/T-nets, colored Petri nets and extensions) in software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above. This year we will put an emphasize on the impact of software engineering in general and its model based development on Petri nets by their concepts, methods, techniques and tools. Therefore we especially invite contributions that work on subjects that could(!) be relevant for Petri nets, their applications or their tools. Results on other formalisms or semi-formal techniques, their concepts, methods, tools and experiences (successful or not successful) are highly welcome. As model based development has proven to be very successful, we want to discuss ideas, applications, concepts, foundations and recent results from the area of modeling during the workshop. Communication is based on models, therefore, the transformation from domain models to software models and back are major tasks that we want to discuss during the workshop from several perspectives. Last but not least, in the context of any organizational institution, the roles of modeling and how to use concepts, methods or tools for modeling may be addressed The idea is to inspire the Petri nets community with new ideas, insights, relevant concepts, etc. In case that you still have doubts if your contribution will fit: Just contact the PC-Chairs!
Topics
ProceedingsWe plan to make the workshop proceedings for PNSE'24 available online at CEUR (available from August, 2024.). CEUR-WS.org as Volume 3430 CEUR-WS.org as Volume 3170 CEUR-WS.org as Volume 2907 CEUR-WS.org as Volume 2651 CEUR-WS.org as Volume 2424 CEUR-WS.org as Volume 2138 CEUR-WS.org as Volume 1846 CEUR-WS.org as Volume 1591 CEUR-WS.org as Volume 1372 CEUR-WS.org as Volume 1160 CEUR-WS.org as Volume 989 CEUR-WS.org as Volume 851 and CEUR-WS.org as Volume 723. Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled Transactions on Petri Nets and Other Models of Concurrency (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09, PNSE'10, PNSE'11, PNSE'12, PNSE'13, PNSE'14, PNSE'15, PNSE'16, PNSE'17, PNSE'18, PNSE'19, PNSE'20, PNSE'21, PNSE'22 and PNSE'23) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460, 5800, 6550, 6900, 7400, 7480, 8100, 8910, 9410, 9930, 10470, 11090, 11790, 13220) and 14150). Here you can finde the links to the proceedings of the Petri Net conferences on Springerlink. SubmissionsThe program committee invites submissions of full contributions (20 pages excluding references) or short contributions (5 - 8 pages excluding references). Ongoing work (up to 3 pages including references) can also be presented in a special poster session.
Submission Guidelines
The papers will be peer reviewed by at least three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and published online. The best papers from the workshop will be invited for publication in a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). Springer Website of book series The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. In case of any questions or problems please contact us by email at pnse24@easychair.org.
Program committee
|
|