长垣产业园区科技文献服务平台

会议文集


文集名Application and Theory of Petri Nets and Concurrency
会议名45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024)
中译名《第四十五届国际皮特里网与并发性的应用及理论会议》
会议日期June 26-28, 2024
会议地点Geneva, Switzerland
出版年2024
馆藏号352835


题名作者出版年
Harnessing Structure Theory of Petri Nets in Discrete Event System SimulationJose-Manuel Colom2024
On the Application of Model-Driven Optimization to Business ProcessesGabriele Taentzer; Jens Kosiol; Leen Lambers2024
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated ShufflesAkio Watanabe; Ayumi Araragi; Hiroki Ikeuchi; Yousuke Takahashi2024
Conformance Checking with Model Projections Rethinking Log-Model Alignments for Processes with Interacting ObjectsDominique Sommers; Natalia Sidorova; Boudewijn van Dongen2024
Process Comparison Using Petri Net DecompositionTobias Brockhoff; Moritz Nicolas Gose; Merih Seran Uysal; Wil M. P. van der Aalst2024
On the Expressive Power of Transfinite Sequences for Continuous Petri NetsStefan Haar; Serge Haddad2024
Hilbert Composition of Multilabelled EventsElvio G. Amparore; Susanna Donatelli; Lea Terracini2024
Relational Structures for Interval Order Semantics of Concurrent SystemsRyszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski2024
Token Trail Semantics II - Petri Nets And Their Net LanguageJakub Kovar; Robin Bergenthum2024
Languages of Higher-Dimensional Timed AutomataAmazigh Amrane; Hugo Bazille; Emily Clement; Uli Fahrenberg2024
Petri Net Synthesis from a Reachability SetEike Best; Raymond Devillers2024
Symbolic Domains and Reachability for Nets with TrajectoriesLoic Helouet; Prerak Contractor2024
Symbolic Model Checking Using Intervals of VectorsDamien Morard; Lucas Donati; Didier Buchs2024
Safety Verification of Wait-Only Non-Blocking Broadcast ProtocolsLucie Guillou; Arnaud Sangnier; Nathalie Sznajder2024
Modular State Spaces - A New PerspectiveJulian Gaede; Sophie Wallner; Karsten Wolf2024
Verifying Temporal Logic Properties in the Modular State SpaceLukas Zech; Karsten Wolf2024
Design of Event-Driven Tsetlin Machines Using Safe Petri NetsAlex Chan; Adrian Wheeldon; Rishad Shafik; Alex Yakovlev2024
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri NetsPierre Bouvier; Hubert Garavel2024
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets ControllersFernando Pereira; Joao-Paulo Barros; Filipe Moutinho; Aniko Costa; Rogerio Campos-Rebelo; Luis Gomes2024
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case StudyCarolina Lagartinho-Oliveira; Filipe Moutinho; Luis Gomes2024
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024