PNSE'24 - International Workshop on Petri Nets and Software Engineering (Event)

Activity: Membership/Function › Program committee

Description

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'24 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2024.
Period24 Jun 2024 → 25 Jun 2024
Event titlePNSE'24 - International Workshop on Petri Nets and Software Engineering
Event typeOther
LocationSwitzerlandShow on map

Fields of science

  • 102006 Computer supported cooperative work (CSCW)
  • 102016 IT security
  • 102027 Web engineering
  • 502050 Business informatics
  • 102040 Quantum computing 
  • 102020 Medical informatics
  • 502032 Quality management
  • 503015 Subject didactics of technical sciences
  • 102022 Software development
  • 102034 Cyber-physical systems
  • 102015 Information systems
  • 509026 Digitalisation research

JKU Focus areas

  • Digital Transformation

Documents & Links