Petri Nets and Software Engineering

Milano, Italy, 24/06/2013 – 25/06/2013. Co-located with ModBE'13.

Description

For the successful realisation 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 modelling, 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'13 (Petri Nets and Software Engineering) will take place as a satellite event of Petri Nets 2013.

The use of Petri Nets (P/T-Nets, Coloured Petri Nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.

Topics of Interest

We welcome contributions describing original research in topics related to Petri nets in combination with software engineering, addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore we look for surveys addressing open problems and new applications of Petri nets. Topics of interest include but are not limited to:

  • Modelling
    • representation of formal models by intuitive modelling concepts
    • guidelines for the construction of system models
    • representative examples
    • process-, service-, state-, event-, object- and agent-oriented approaches
    • adaption, integration, and enhancement of concepts from other disciplines
    • views and abstractions of systems
    • model-driven architecture
    • modelling software landscapes
    • web service-based software development
  • Validation and Execution
    • prototyping
    • simulation, observation, animation
    • code generation and execution
    • testing and debugging
    • process mining
    • efficient implementation
  • Verification
    • structural methods (e.g. place invariants, reduction rules)
    • results for structural subclasses of nets
    • relations between structure and behaviour
    • state space based approaches
    • efficient model checking
    • assertional and deductive methods (e.g. temporal logics)
    • process algebraic methods
    • applications of category theory and linear logic
    • general analysis for software engineering contexts
  • Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of
    • flexible manufacturing,
    • logistics,
    • telecommunication,
    • workflow management and
    • embedded systems
  • Tools in the fields mentioned above

Articles & Issues  

Andrea Omicini, Stefano Mariani Coordination for Situated MAS: Towards an Event-driven Architecture Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’13), 24-25 June 2013
Andrea Omicini, Stefano Mariani Coordination for Situated MAS: Towards an Event-driven Architecture International Workshop on Petri Nets and Software Engineering (PNSE'13), CEUR Workshop Proceedings 989, 24-25 June 2013

Talks  

Tags:
    

Event

Petri Nets and Software Engineering

— acronym

PNSE'13

— type

workshop  

— series

PNSE (2013)

— where

Milano, Italy

— when

24/06/2013–25/06/2013

Dates

— paper submission

21/04/2013

— notification

10/05/2013

— camera-ready

21/05/2013

URLs

home page
submission

APICe

— lecturer/speaker

Andrea Omicini, Stefano Mariani

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY