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