LEADER 04058nam  22006495  450 
001 9910484369103321
005 20230223051725.0
010   $a3-319-07734-1
024 7 $a10.1007/978-3-319-07734-5
035   $a(CKB)3710000000143856
035   $a(SSID)ssj0001274634
035   $a(PQKBManifestationID)11749537
035   $a(PQKBTitleCode)TC0001274634
035   $a(PQKBWorkID)11334007
035   $a(PQKB)11390351
035   $a(DE-He213)978-3-319-07734-5
035   $a(MiAaPQ)EBC3093283
035   $a(PPN)179766244
035   $a(EXLCZ)993710000000143856
100   $a20140630d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aApplication and Theory of Petri Nets and Concurrency $e35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /$fedited by Gianfranco Ciardo, Ekkart Kindler
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XIV, 395 p. 155 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8489
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-07733-3 
327   $aPropagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications.
330   $aThis book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8489
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
676   $a004.24015115
702   $aCiardo$b Gianfranco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKindler$b Ekkart$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484369103321
996   $aApplication and Theory of Petri Nets and Concurrency$91905519
997   $aUNINA