PNSE Workshop @ Petri Nets Conference 2022 - International Workshop on Petri Nets and Software Engineering
Sprache des Titels:
Englisch
Original Kurzfassung:
The workshop PNSE'22 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2022 and ACSD 2022.
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.