000 01948nam a2200469 a 4500
005 20250919174712.0
006 m d
007 cr nn 008maaau
008 100623s2009 gw j eng d
020 _a9783642024245 (electronic bk.)
020 _a9783642024238 (paper)
035 _a(Springer)978-3-642-02423-8
039 9 _y06-23-2010
_zmuhaimin
050 4 _aQA267
_b.I56 2009
082 0 4 _a511.3
_222
090 _aQA267
_b.I61 2009
111 2 _aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
_n(30th :
_d2009 :
_cParis, France)
245 1 0 _aApplications and theory of petri nets
_h[electronic resource] :
_b30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings /
_cedited by Giuliana Franceschinis, Karsten Wolf.
246 3 0 _aPETRI NETS 2009
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _axii, 352 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture notes in computer science,
_x0302-9743 ;
_v5606
650 0 _aPetri nets
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aSoftware Engineering.
650 2 4 _aTheory of Computation.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
700 1 _aFranceschinis, Giuliana.
700 1 _aWolf, Karsten.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-02424-5
907 _a.b14751197
_b2024-03-21
_c2019-11-12
942 _n0
_kQA267 .I61 2009
914 _avtls003436061
998 _ae0001
_b2010-10-06
_cm
_da
_feng
_ggw
_y0
_z.b14751197
999 _c678602
_d678602