000 04358nam a22005535i 4500
001 978-3-031-61433-0
003 DE-He213
005 20251030112311.0
007 cr nn 008mamaa
008 240613s2024 sz | s |||| 0|eng d
020 _a9783031614330
_9978-3-031-61433-0
024 7 _a10.1007/978-3-031-61433-0
_2doi
050 4 _aQA76.9.M35
072 7 _aUYAM
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYAM
_2thema
245 1 0 _aApplication and Theory of Petri Nets and Concurrency
_h[electronic resource] :
_b45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings /
_cedited by Lars Michael Kristensen, Jan Martijn van der Werf.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXIV, 446 p. 157 illus., 74 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14628
505 0 _a-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.
520 _aThis 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. .
650 0 _aComputer science
_xMathematics.
_964041
650 0 _aComputer networks .
_960157
650 0 _aSoftware engineering.
_933953
650 1 4 _aMathematics of Computing.
_966501
650 2 4 _aComputer Communication Networks.
_965689
650 2 4 _aSoftware Engineering.
_933953
700 1 _aKristensen, Lars Michael.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_978667
700 1 _avan der Werf, Jan Martijn.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_978668
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031614323
776 0 8 _iPrinted edition:
_z9783031614347
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14628
856 4 0 _uhttps://doi.org/10.1007/978-3-031-61433-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
999 _c60714
_d60714