Muutke küpsiste eelistusi

Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 2628, 2024, Proceedings 2024 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 446 pages, kõrgus x laius: 235x155 mm, 74 Illustrations, color; 83 Illustrations, black and white; XIV, 446 p. 157 illus., 74 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14628
  • Ilmumisaeg: 13-Jun-2024
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031614321
  • ISBN-13: 9783031614323
Teised raamatud teemal:
  • Pehme köide
  • Hind: 76,49 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 89,99 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 2628, 2024, Proceedings 2024 ed.Suurem pilt
  • Formaat: Paperback / softback, 446 pages, kõrgus x laius: 235x155 mm, 74 Illustrations, color; 83 Illustrations, black and white; XIV, 446 p. 157 illus., 74 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14628
  • Ilmumisaeg: 13-Jun-2024
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031614321
  • ISBN-13: 9783031614323
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783031614323.html
Märksõnad:
This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024. 





The 19 full papers and 2 invited papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: Business Process Modelling and Mining, Semantics and Complexity, Reachability, Verification and Model Checking, Applications and Tools. 
-Invited Papers.- Harnessing Structure Theory of Petri Nets in Discrete
Event System Simulation.- On the Application of Model Driven Optimization to
Business Processes.- Business Process Modelling and Mining.- Concurrent
Context Free Grammar for Parsing Business Processes with Iterated Shuffles.-
Conformance Checking with Model Projections Rethinking Log Model Alignments
for Processes with Interacting Objects.- Process Comparison Using Petri Net
Decomposition.- Semantics and Complexity.- On the Expressive Power of
Transfinite Sequences for Continuous Petri Nets.- Hilbert composition of
multilabelled events.- Relational Structures for Interval Order Semantics of
Concurrent Systems.- Token Trail Semantics II Petri Nets and their Net
Language.- Languages of Higher Dimensional Timed
Automata.- Reachability.- Petri Net Synthesis from a Reachability Set.-
Symbolic domains and reachability for nets with trajectories.- Verification
and Model Checking.- Symbolic Model Checking using Intervals of Vectors.-
Safety Verification of Wait Only Non Blocking Broadcast Protocols.- Modular
State Space A New Perspective.- Verifying Temporal Logic Properties in the
Modular State Space.- Applications and Tools.- Design of Event driven Tsetlin
Machines using safe Petri nets.- Identifying Duplicates in Large Collections
of Petri Nets and Nested Unit Petri Nets.- Remote Debugger A Tool to Remotely
Monitor and Operate IOPT nets Controllers.- Using Petri Nets for Digital
Twins Modeling and Deployment A Power Wheelchair System Case Study.-
CosyVerif the Path to Formalisms Cohabitation.