LEADER 02754nam  22006375  450 
001 9910484073003321
005 20230223060409.0
010   $a3-319-19488-7
024 7 $a10.1007/978-3-319-19488-2
035   $a(CKB)3710000000436866
035   $a(SSID)ssj0001547014
035   $a(PQKBManifestationID)16141140
035   $a(PQKBTitleCode)TC0001547014
035   $a(PQKBWorkID)14796396
035   $a(PQKB)11741966
035   $a(DE-He213)978-3-319-19488-2
035   $a(MiAaPQ)EBC5595649
035   $a(PPN)186399332
035   $a(EXLCZ)993710000000436866
100   $a20150603d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aApplication and Theory of Petri Nets and Concurrency $e36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /$fedited by Raymond Devillers, Antti Valmari
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (X, 351 p. 129 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9115
300   $aIncludes index.
311   $a3-319-19487-9 
330   $aThis book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 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 ;$v9115
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   $a511.35
702   $aDevillers$b Raymond$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aValmari$b Antti$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484073003321
996   $aApplication and Theory of Petri Nets and Concurrency$91905519
997   $aUNINA