000891779 000__ 05338cam\a2200481Ii\4500
000891779 001__ 891779
000891779 005__ 20230306150220.0
000891779 006__ m\\\\\o\\d\\\\\\\\
000891779 007__ cr\cn\nnnunnun
000891779 008__ 190702s2019\\\\sz\a\\\\ob\\\\101\0\eng\d
000891779 020__ $$a9783030215712$$q(electronic book)
000891779 020__ $$z9783030215705
000891779 020__ $$a3030215717$$q(electronic book)
000891779 035__ $$aSP(OCoLC)on1107216496
000891779 035__ $$aSP(OCoLC)1107216496
000891779 040__ $$aZ5A$$beng$$erda$$cZ5A$$dGW5XE$$dOCLCO$$dUKMGB
000891779 049__ $$aISEA
000891779 050_4 $$aQA267
000891779 08204 $$a511.3/5$$223
000891779 1112_ $$aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency$$n(40th :$$d2019 :$$cAachen, Germany)
000891779 24510 $$aApplication and theory of petri nets and concurrency :$$b40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, proceedings /$$cSusanna Donatelli, Stefan Haar (eds.)
000891779 2463_ $$aPETRI NETS 2019
000891779 264_1 $$aBasel :$$bSpringer Nature Switzerland AG,$$c[2019]
000891779 264_4 $$c©2019
000891779 300__ $$a1 online resource (xv, 471 pages) :$$billustrations.
000891779 336__ $$atext$$btxt$$2rdacontent
000891779 337__ $$acomputer$$bc$$2rdamedia
000891779 338__ $$aonline resource$$bcr$$2rdacarrier
000891779 347__ $$atext file$$bPDF$$2rda
000891779 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v11522
000891779 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000891779 504__ $$aIncludes bibliographical references and author index.
000891779 50500 $$tModels --$$tDescribing Behavior of Processes with Many-to-Many Interactions /$$rDirk Fahland --$$tModal Open Petri Nets /$$rVitali Schneider, Walter Vogler --$$tStochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums /$$rGiulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico --$$tTools --$$tRenewKube: Reference Net Simulation Scaling with Renew and Kubernetes /$$rJan Henrik Röwekamp, Daniel Moldt --$$tPNemu: An Extensible Modeling Library for Adaptable Distributed Systems /$$rMatteo Camilli, Lorenzo Capra, Carlo Bellettini --$$tCoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction /$$rJan Martijn E. M. van der Werf, Lucas Steehouwer --$$tTools for Curry-Coloured Petri Nets /$$rMichael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann --$$tSynthesis --$$tArticulation of Transition Systems and Its Application to Petri Net Synthesis /$$rRaymond Devillers --$$tHardness Results for the Synthesis of b-bounded Petri Nets /$$rRonny Tredup --$$tFixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets /$$rRonny Tredup --$$tSemantics --$$tReversing Steps in Petri Nets /$$rDavid de Frutos Escrig, Maciej Koutny, Łukasz Mikulski --$$tOn Interval Semantics of Inhibitor and Activator Nets /$$rRyszard Janicki --$$tReversing Unbounded Petri Nets --$$tŁukasz Mikulski, Ivan Lanese --$$tConcurrent Processes --$$tGeneralized Alignment-Based Trace Clustering of Process Behavior /$$rMathilde Boltenhagen, Thomas Chatain, Josep Carmona --$$tFinding Complex Process-Structures by Exploiting the Token-Game /$$rLisa Luise Mannel, Wil M. P. van der Aalst --$$tConcurrent Programming from pseuCo to Petri /$$rFelix Freiberger, Holger Hermanns --$$tAlgorithmic Aspects --$$tImproving Saturation Efficiency with Implicit Relations /$$rShruti Biswal, Andrew S. Miner --$$tTaking Some Burden Off an Explicit CTL Model Checker /$$rTorsten Liebke, Karsten Wolf --$$tSaturation Enhanced with Conditional Locality: Application to Petri Nets /$$rVince Molnár, István Majzik --$$tParametrics and Combinatorics --$$tParameterized Analysis of Immediate Observation Petri Nets /$$rJavier Esparza, Mikhail Raskin, Chana Weil-Kennedy --$$tThe Combinatorics of Barrier Synchronization /$$rOlivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski --$$tParameter Synthesis for Bounded Cost Reachability in Time Petri Nets /$$rDidier Lime, Olivier H. Roux, Charlotte Seidner --$$tModels with Extensions --$$tCoverability and Termination in Recursive Petri Nets /$$rAlain Finkel, Serge Haddad, Igor Khmelnitsky --$$tFrom DB-nets to Coloured Petri Nets with Priorities /$$rMarco Montali, Andrey Rivkin.
000891779 506__ $$aAccess limited to authorized users.
000891779 520__ $$a"This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019. The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions."--Publisher's website.
000891779 650_0 $$aPetri nets$$vCongresses.
000891779 650_0 $$aComputer multitasking$$vCongresses.
000891779 830_0 $$aLecture notes in computer science ;$$v11522.
000891779 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000891779 852__ $$bebk
000891779 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-21571-2$$zOnline Access$$91397441.1
000891779 909CO $$ooai:library.usi.edu:891779$$pGLOBAL_SET
000891779 980__ $$aEBOOK
000891779 980__ $$aBIB
000891779 982__ $$aEbook
000891779 983__ $$aOnline
000891779 994__ $$a92$$bISE