LEADER 03350nam  22007455  450 
001 996465409703316
005 20230406062707.0
010   $a3-642-21834-2
024 7 $a10.1007/978-3-642-21834-7
035   $a(CKB)2670000000095912
035   $a(SSID)ssj0000530708
035   $a(PQKBManifestationID)11351715
035   $a(PQKBTitleCode)TC0000530708
035   $a(PQKBWorkID)10569999
035   $a(PQKB)10672759
035   $a(DE-He213)978-3-642-21834-7
035   $a(MiAaPQ)EBC3066928
035   $a(PPN)153861061
035   $a(EXLCZ)992670000000095912
100   $a20110627d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aApplication and Theory of Petri Nets$b[electronic resource] $e32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings /$fedited by Lars M. Kristensen, Laure Petrucci
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XII, 349 p. 130 illus., 23 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6709
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21833-4 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6709
606   $aComputer science
606   $aSoftware engineering
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aTheory of Computation
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615 14$aTheory of Computation.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
676   $a004.0151
702   $aKristensen$b Lars M$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPetrucci$b Laure$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
906   $aBOOK
912   $a996465409703316
996   $aApplication and Theory of Petri Nets$92830101
997   $aUNISA