Muutke küpsiste eelistusi

E-raamat: Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 135,23 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830316143306e.html