000 01707nam a2200409 a 4500
005 20250930131337.0
006 m d
007 cr nn 008maaau
008 101230s2010 gw s j eng d
020 _a9783642136757 (electronic bk.)
020 _a9783642136740 (paper)
035 _a(Springer)978-3-642-13674-0
039 9 _y12-30-2010
_zmuhaimin
050 0 4 _aQA267
_b.I58 2010
082 0 4 _a511.35
_222
090 _aQA267
_b.I61 2010
111 2 _aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
_n(31st :
_d2010 :
_cBraga, Portugal)
245 1 0 _aApplications and theory of Petri nets
_h[electronic resource] :
_b31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
_cedited by Johan Lilius, Wojciech Penczek.
246 3 _aPETRI NETS 2010
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2010.
300 _ax, 327 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture notes in computer science,
_x0302-9743 ;
_v6128
650 0 _aPetri nets
_vCongresses.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aSoftware Engineering.
700 1 _aLilius, Johan.
700 1 _aPenczek, Wojciech.
_956935
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=
_uhttp://dx.doi.org/10.1007/978-3-642-13675-7
907 _a.b14888956
_b2023-03-22
_c2019-11-12
942 _n0
_kQA267 .I61 2010
914 _avtls003450594
998 _ae0001
_b2010-04-12
_cm
_dz
_feng
_ggw
_y0
_z.b14888956
999 _c475455
_d475455