Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Didier Buchs via Petrinet <address@concealed>
- To: "address@concealed" <address@concealed>
- Subject: [PN-world] (PN) Call for Participation : Petri Nets 2024
- Date: Mon, 6 May 2024 09:16:55 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=unige.ch; dmarc=pass action=none header.from=unige.ch; dkim=pass header.d=unige.ch; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=26Jktvb5vya6qo/+igTERSjsCVW/zB4LM+q8wx1LazI=; b=W9O/PIknzw9VKfxNNudUlPk/uPVp3HnvQ6WCJnhT2qpeiTdrsaq/yK90D7G7iQMQU0KG08pAu4j6oTpIzAEZubYiklFGw3chHRkYkKss9JzIpv498RcQiFQDjVJB3hhwRCbk4Xpedxsesutn10KvV6vvpauCCzrf+YnjCtkNveH/PKXGH4Q5RBa5OO2pWmcOAdpAGi88nMuM1+NWd4wW4bZr0vlj/vupvFt6n4SHjK9VPhNsen3WzFLxwKV35K9/V8X+Fk5tMUWu4imwZxlb7yTEJgU04/x5m/KCNMe0JGwiUQb0dU+Fhmit30Ew1mnZfHeQf2wcQNO6wswLorNRog==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=V4xZu3wpfIBvjktQmJQNse2cGSYfC28k4rewF3Z7fIlBvS7j4+hw3yoM+Orqa97e/UQ78UJhF803h0DntMY0VjSszhPUyvkPZXV94J8zzRufVuQcyyZGeNsN51EUckCDvPpd7aaFQNW0Q3Kug6++mgzDHCJwyOzdm5NhsLnm3Kblq05Kd6y7ycoqatup73ErOiuoDhyqv52GWSteTHVouZMco5N1P/hVThr5xTnUcaP/u2iguw5Ut53zTJ8aecC1ffaO2iKBWpWx3lELp15x3f6LW3FWQduINOzoaZ6UkaTQbELYs5YVdacr+dlNs/HIKWpxTWGV6i1J+udVtFklGg==
- Authentication-results: spool.mail.gandi.net; dkim=fail ("headers rsa verify failed") header.d=unige.ch header.s=20230614 header.b=i5GF6iEY; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}"); dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.113 as permitted sender) address@concealed
- Ironport-data: A9a23:1iRqUK8mE/RiaP/I2a6sDrUDzH+TJUtcMsCJ2f8bNWPcYEJGY0x3m jMcWG7Qb/+IYWb3Ko8iPtzk9h5Svp7Qn4BkTFQ4qykxFiIbosfsO4+Ufxz6V8+wwmwvb67FA +E2MISowBUcFyeEzvuVGuG86yE6jOfQHeKU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Ec3l48sfrZ9Esy5Kmq4lv0g3RnDRx1lA6G/5UqJM5HTU2BByOQapVZGOe8W 9HCwNmRlo8O105wYj8Nuu+TnnwiGtY+DyDX4pZlc/HKbix5m8AH+v1T2Mzwyatgo27hc9hZk L2hvLTpE1Z3ZvWU8AgXe0Ew/ypWZcWq9FJbSJQWXAP6I0DuKhPRL/tS4E4eZ4waxrtYI21yr vklAWlUZSHEmt6y6efuIgVsrpxLwMjDI54Zu3xwlGCcV7AnWpHYBbjM5NBVmjww7ixMNa+GI ZNCL2MxKk2cC/FMEg5/5JYWsOakh3TlNRdFo1KOjbcx4mfeigdxuFToGIeMIYbTGZUM9qqej nDEp2+jOE0LD4Oa1mKu82uootfTswquDer+E5X9rJaGmma73mEPEhwQWEeToP+3jVS7Us5eK AoJ/CtrraE3/lGxQZ/xUnWFTGWsoQMaWtdASrx/skeQzKvb7kCSBgDoUwJ8VTDvj+duLRRC6 7NDt46B6eBH2FFNdU+gyw==
- Ironport-hdrordr: A9a23:WOSe2K5llmAukoyg5QPXwODXdLJyesId70hD6qkoc20zTiSZ// rAoB1p726TtN9xYgBapTnuAtjifZqxz/NICMwqTNOftWrdyRGVxeNZnOnfKlTbckWUnNK1l5 0QFpSWY+efMbEOt6bHCX6DcurIruPqzEniv5am854kd3ATV51d
- Ironport-phdr: A9a23:bujpjxRE56U7akmwCr8+W6GRL9psommYAWYlg6HPa5pwe6iut67vI FbYra00ygOTDMOBsawP0rGempujcFJDyK7JiGoFfp1IWk1NouQttCtkLei7TGbWF7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmoqQjdrNcajZVjJ6o+1xfErGZDdvhLy29vOV+ckBHw69uq8pV+6SpQofUh98BBUaX+Yas1S KFTASolPW4o+sDlrAHPQwSX6HQTS2kbjBVGDRXd4B71Qpn+vC36tvFg2CaBJs35Uao0WTW54 Kh1ThLjlToKOCQ48GHTjcxwkb5brRe8rBFx34LYfIeYP+d4c6jAf90VWHBBU95RWSJfH428c 4UBAekdMuhXoIbwvEcOogC7BQWwGO/j1j1Fi3nr1qM6yeQhFgTG0RQuEdIPrXvUrcv6NL0PW u2o0anH0TXDb+hL0jr65obIcw0uofCSUrJqa8bc1FQvGB/FjlWLsoHlIjWV1uUCs2eF9eZvS eKvhnchpgpsrTeh2t0ihZPVhoIJ1F/E7yN5zZ4oKdO3SEB1YcOoHZpMui+UKoZ4Td8vTWF0t Ss11LAItpG2cDQXxJonxRPRZf2KfomV7x/hV+ucLjh2iXxrdr+jgRu57Eauyur5Vsau0VZKq DJIksTKtnAM2Bzc9NKLRed9/kqnxD2B1BjT5/lZLUwoj6bXNpAszqQtmpcSq0jPAyD7lF3og KKXakkp9O2l5/n7brr8p5KRMot5hhziPqkrlMGwH+E1Pw0MUmWd5O+yzqfs/VfjT7VPlvA2l 67Zv43EKskDva65BhNV0p4k6xaiEzeqyNQYkmcDLFJCYB+GgZXpO1fPIP/mAvaznlChnC51y /zcP73hGZTNLmPZnLf8e7Z96kFcxxQpwd9D55JYErABIPTtVU/trNHUEwM1Pxapz+vpEtlxy 4ITVXiSDqKWKK/StEWH5uMrI+mCfo8VvzP9JuAr6f7vkHA5mEESfbOz0ZYKdXC3AvRmI16Cb HrxhNcBEGgKsRQkQOP2iF2OSThTaG2qUKIm+j47EJ6mDZvERo21nbCNxD27EYFOZmBaFlCMF m/ld52aVPcQciKSI8lhnSIYVbW6So8h0x+utAjgy7piNOXU5iwYtZH52Nho4e3TlAg+9TxuA MSYyG6NUnt0nmwSSzArwq9zuVFyylSC0ah9m/FWDdNd6P1XXAkmKZPSyfR2C8vqWgLPZtqHU E+oTM2pDz0pVdIx29EObF59G9q8ihDD2DKnDacMmbKTC5Jnup7bijLpKtpnynDLyIEgiVchW M5GKWylwLN59k3TDovDjl+W0aqnP+xIxCPR7maFwHamvUdWVxR1WLnEXjYCYEqTrd387F7YQ PmiBOJ0HBFGzJuuK6dLZ8ehp0hNROyrbPjfb2O8gSGaGB2I3ZuRaovldiMW3HOOWwA/jwkP8 CPeZkAFDSC7rjeGZNQmPV7sYka59+54pTv7S0Iv1AiFYgVn0Kb94R8ag/GQCpZxlrIJsSsss XN4SVC62d+FB9+JvQE0eqJabJs060tG0mSMsQt7M9SgIqlui0RYfR5wuhbz0RR4B8NLkZtCk Q==
================================================================================
# Call for participation:
# Petri Nets 2024 in Geneva, Switzerland (ICATPN 2024, June 23-28, 2024)
================================================================================
PETRI NETS 2024
The 45rd International Conference on Application and Theory of Petri Nets and
Concurrency, affiliated workshops, advanced tutorials, the Petri net PhD
course, the model checking contest and tool exhibition will take place in
Geneva,Switzerland on 23 June - 28 June.
https://www.unige.ch/petrinets2024
Registration is now open (deadline early registration, may 20)
https://www.unige.ch/petrinets2024/registration
====================================================================
Invited speakers main conference (Wed/Thu/Fri):
- Prof. Jose-Manuel Colom : Harnessing Structure Theory of Petri Nets in
Discrete Event System Simulation
- Prof. Gabriele Taentzer : On the Application of Model-Driven Optimization
to Business Processes
- Prof. Rob van Glabbeck : Just Distributability
====================================================================
Affiliated Workshops (Mon-Tue)
- Workshop on Petri Nets and Software Engineering (PNSE'24)
- PeNGE
- 14th edition of the Model Checking Contest (MCC'22)
====================================================================
Advanced Tutorials (Mon-Tue)
- Petri nets-driven design of controllers for cyber-physical systems: Luis
Gomes (NOVA University Lisbon)
- Adequate modeling of agent-based systems with reference nets: Daniel Moldt
(Universität Hamburg)
====================================================================
Petri Net PhD course (Sun-Tue)
- Basic net classes: Jörg Desel (FernUniversität in Hagen)
- Coloured Petri nets and the CPN Tools: Lars Michael Kristensen (Western
Norway University of Applied Sciences)
- Verification and model checking of Petri Nets: Karsten Wolf (University of
Rostock)
- Timed and Stochastic Petri nets: Serge Haddad (ENS Paris-Saclay)
====================================================================
Social events (Wed-Thu)
- Reception at the Botanic Garden (Wed)
- Conference dinner in the city centre (Thu)
----
- [PN-world] (PN) Call for Participation : Petri Nets 2024, Didier Buchs via Petrinet, 05/08/2024
Archive powered by MHonArc 2.6.19+.