Animation and exchanges in the Petri Nets community

[Étienne André <address@concealed>]

    ============================================================
    Call for participation
    
    PETRI NETS 2025
    
    46th international conference on application and theory of Petri
    nets and
    concurrency
    ============================================================

https://petrinets25.github.io/web/

**Early bird registration deadline: 21st May 2025**

    Campus Condorcet
    Paris, France
    23-27 June 2025
    
    ## Invited speakers
    - Dirk Beyer: The Transformation Game: Joining Forces for
    Verification
    - Patricia Bouyer: On the Probabilistic and Statistical Verification
    of Infinite Markov Chains
    - Marco Montali: Automated Reasoning for Data-Aware Petri Nets
    
    ## Important dates
    Early bird registration deadline :21 May 2025
    Participation in tool exhibition: 30 May 2025
    Late registration deadline      : 8 June 2025
    Workshops and Tutorials         : 23-24 June 2025
    Main Conference                 : 25-27 June 2025
    
    ## Topics of Interest
    Topics specific to Petri Nets
    * Analysis and synthesis, structure and behavior of nets
    * System design and model-driven development using nets
    * Relationships between Petri nets and other approaches
    * Net-based semantical, logical and algebraic calculi
    * Higher-level net models (colored nets, timed nets, etc.)
    * Stochastic net models
    * Verification and model checking using nets
    * Process discovery and conformance checking
    * Computer tools for nets
    * Standardization of nets
    * Experience reports describing applications of nets to different
    kinds of
      systems and application fields (e.g., flexible manufacturing
    systems, office
      automation, real-time systems, workflows, embedded systems,
    process mining,
      biological systems, supervisory control, health and medical
    systems,
      protocols and networks, environmental systems, Internet and Web
    services,
      hardware, e-commerce and trading, telecommunications, programming
    languages,
      railway networks, performance evaluation, component based
    development,
      operations research)
    
    General topics of interest related to concurrency
    * Application of concurrency to system design: formal models for
    designing
      computer systems with concurrent behavior, applied research aimed
    at
      designing computer systems which exhibit concurrency, etc.
    * Model checking and verification of distributed systems
    * Verification of infinite-state or parametric systems
    * Causality/partial order theory of concurrency
    * Educational issues related to concurrency
    * New developments in the theory of concurrency
    * Modeling of hardware and biological systems
    
    Papers presenting original research on application or theory of
    Petri nets, as
    well as contributions addressing topics relevant to the general
    field of
    distributed and concurrent systems or focused on applications of
    concurrency to
    system design are sought.
    
    The language of the conference is English, and its proceedings will
    be
    published by Springer-Verlag in LNCS. 
    
    All accepted papers will be considered for an Outstanding Paper
    award. Authors
    of selected papers presented at the conference will be invited to
    submit an
    extended version that will be further reviewed for inclusion into a
    special
    issue of a renowned journal.
    
    ## Tool Exhibition
    An exhibition of Petri net tools will take place on Wednesday June
    25. It
    consists of informal demonstrations for small groups/individuals and
    there are
    no scheduled talks. Requests for participation in the tool
    exhibition must be
    sent to the Tool Exhibition chairs by the deadline stated at the top
    of this
    Call for Papers. They should include a link to the Web pages for the
    tool (or a
    short description of the tool). The demonstrators should bring their
    own
    laptops, while the organisers may be requested to give access to the
    Internet.
    
    
    ## Courses, Workshops and Tutorials
    The main conference takes place from Wednesday 25 to Friday 27. The
    two days
    before the main conference also offer a wide range of activities.
    The Petri Net
    Course takes place from Monday 23 to Tuesday 24. It offers a
    thorough
    introduction to Petri nets in half-days and full-day modules. For
    successful
    participation in the entire course, including preparation and
    examination, two
    credit points (ECTS) will be awarded. Each module of the course can
    also be
    taken separately, without any credit. Detailed descriptions of
    Workshops and
    Tutorials will be made available via the conference Web page.
    
    It is also possible to arrange Meetings and Courses related to Petri
    Nets.
    Submissions for such activities must contain a 2-5 page description.
    They must
    be received by the Workshops and Tutorials chairs via email no later
    than
    January 15, 2025.
    
    ## Organization
    The 46th annual international Petri Nets conference will be
    organised by the
    LoVe (Logics and Verification) team at the Université Sorbonne Paris
    Nord
    (France) jointly with members of the MeFoSyLoMa group.
    
    The conference will take place at the Campus Condorcet (métro line
    12).
    
    ### Organization Committee
    * Étienne André (Université Sorbonne Paris Nord)
    * Carlos Olarte (Université Sorbonne Paris Nord)
    
    ### Program committee co-chairs
    * Elvio Amparore, Italy
    * Łukasz Mikulski, Poland
    
    ### Workshops co-chairs
    * Giuliana Franceschinis, Italy
    * Karsten Wolf, Germany
    
    ### Petri Net Course and Tutorials co-chairs
    * Jörg Desel, Germany
    * Lars Kristensen, Norway
    
    ### Publicity chair
    * Benoît Barbot, France
    
    ## Program committee
    * Elvio Amparore, Italy (co-chair)
    * Abel Armas Cervantes, Australia
    * João Paulo Barros, Portugal
    * Benoît Delahaye, France
    * João Miguel Fernandes, Portugal
    * Guiliana Franceschinis, Italy
    * Luis Gomes, Portugal
    * Xudong He, USA
    * Loïc Helouet, France
    * Wojciech Jamroga, Luxembourg
    * Gabriel Juhás, Slovakia
    * Anna Kalenkova, Australia
    * Michael Köhler-Bußmeier, Germany
    * Lars Kristensen, Norway
    * Lisa Mannel, Germany
    * Łukasz Mikulski, Poland (co-chair)
    * Andrew Miner, USA
    * Guillermo Alberto Perez, Belgium
    * Marta Pietkiewicz-Koutny, UK
    * Artem Polyvyanyy, Australia
    * Lucia Pomello, Italy
    * Andrey Rivkin, Denmark
    * Natalia Sidorova, The Netherlands
    * Jiří Srba, Denmark
    * Jeremy Sproston, Italy
    * Nathalie Sznajder, France
    * Remigiusz Wisniewski, Poland
    * Karsten Wolf, Germany