LEADER 02589nam  2200565Ia 450 
001 9910484551103321
005 20200520144314.0
010   $a3-642-04856-0
024 7 $a10.1007/978-3-642-04856-2
035   $a(CKB)1000000000804460
035   $a(SSID)ssj0000355645
035   $a(PQKBManifestationID)11259260
035   $a(PQKBTitleCode)TC0000355645
035   $a(PQKBWorkID)10341288
035   $a(PQKB)11351802
035   $a(DE-He213)978-3-642-04856-2
035   $a(MiAaPQ)EBC3064765
035   $a(PPN)139962263
035   $a(EXLCZ)991000000000804460
100   $a20091009d2009      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aTransactions on petri nets and other models of concurrency III /$feditor-in-chief, Kurt Jensen ; guest editor, Jonathan Billington, Maciej Koutny
205   $a1st ed. 2009.
210   $aBerlin ;$aLondon $cSpringer$d2009
215   $a1 online resource (XVII, 275 p.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v5800
300   $aSelected conference papers, from various workshops.
311   $a3-642-04854-4 
320   $aIncludes bibliographical references and index.
327   $aDesigning a Workflow System Using Coloured Petri Nets -- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs -- Parameterised Coloured Petri Net Channel Models -- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol -- Modelling Mobile IP with Mobile Petri Nets -- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example -- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection -- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language -- On Bisimulation Theory in Linear Higher-Order ?-Calculus.
410  0$aLecture notes in computer science ;$v5800.
606   $aParallel processing (Electronic computers)
606   $aPetri nets
615  0$aParallel processing (Electronic computers)
615  0$aPetri nets.
676   $a511.35
701   $aBillington$b Jonathan$01237951
701   $aJensen$b K$g(Kurt),$f1950-$01237950
701   $aKoutny$b Maciej$f1958-$01223195
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484551103321
996   $aTransactions on Petri Nets and Other Models of Concurrency III$92873316
997   $aUNINA