001437583 000__ 04952cam\a2200625\i\4500
001437583 001__ 1437583
001437583 003__ OCoLC
001437583 005__ 20230309004156.0
001437583 006__ m\\\\\o\\d\\\\\\\\
001437583 007__ cr\cn\nnnunnun
001437583 008__ 210625s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001437583 019__ $$a1257076483$$a1257292191
001437583 020__ $$a9783030769833$$q(electronic bk.)
001437583 020__ $$a3030769836$$q(electronic bk.)
001437583 020__ $$z9783030769826$$q(print)
001437583 020__ $$z3030769828
001437583 0247_ $$a10.1007/978-3-030-76983-3$$2doi
001437583 035__ $$aSP(OCoLC)1257551372
001437583 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDX$$dEBLCP$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001437583 049__ $$aISEA
001437583 050_4 $$aQA267
001437583 08204 $$a511.3/5$$223
001437583 1112_ $$aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency$$n(42nd :$$d2021 :$$cOnline)
001437583 24510 $$aApplication and theory of petri nets and concurrency :$$b42nd International Conference, PETRI NETS 2021, Virtual event, June 23-25, 2021, Proceedings /$$cDidier Buchs, Josep Carmona (eds.).
001437583 2463_ $$aPETRI NETS 2021
001437583 264_1 $$aCham :$$bSpringer,$$c2021.
001437583 300__ $$a1 online resource (xi, 487 pages) :$$billustrations (some color)
001437583 336__ $$atext$$btxt$$2rdacontent
001437583 337__ $$acomputer$$bc$$2rdamedia
001437583 338__ $$aonline resource$$bcr$$2rdacarrier
001437583 4901_ $$aLecture notes in computer science ;$$v12734
001437583 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001437583 500__ $$aIncludes author index.
001437583 5050_ $$aKeynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado -- An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data.
001437583 506__ $$aAccess limited to authorized users.
001437583 520__ $$aThis book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.
001437583 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 25, 2021).
001437583 650_0 $$aPetri nets$$vCongresses.
001437583 650_0 $$aComputer multitasking$$vCongresses.
001437583 650_6 $$aRéseaux de Pétri$$vCongrès.
001437583 650_6 $$aFonctionnement multitâche$$vCongrès.
001437583 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001437583 655_7 $$aConference papers and proceedings.$$2lcgft
001437583 655_7 $$aActes de congrès.$$2rvmgf
001437583 655_0 $$aElectronic books.
001437583 7001_ $$aBuchs, Didier,$$eeditor.
001437583 7001_ $$aCarmona, Josep,$$eeditor$$1https://orcid.org/0000-0001-9656-254X
001437583 830_0 $$aLecture notes in computer science ;$$v12734.
001437583 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001437583 852__ $$bebk
001437583 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-76983-3$$zOnline Access$$91397441.1
001437583 909CO $$ooai:library.usi.edu:1437583$$pGLOBAL_SET
001437583 980__ $$aBIB
001437583 980__ $$aEBOOK
001437583 982__ $$aEbook
001437583 983__ $$aOnline
001437583 994__ $$a92$$bISE