LEADER 03648nam  22007215  450 
001 996465909003316
005 20200704024051.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   $a20100301d2009      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTransactions on Petri Nets and Other Models of Concurrency III$b[electronic resource]
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (XVII, 275 p.)
225 1 $aTransactions on Petri Nets and Other Models of Concurrency,$x1867-7193 ;$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$aTransactions on Petri Nets and Other Models of Concurrency,$x1867-7193 ;$v5800
606   $aMathematical logic
606   $aComputers
606   $aSoftware engineering
606   $aComputer programming
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
615  0$aMathematical logic.
615  0$aComputers.
615  0$aSoftware engineering.
615  0$aComputer programming.
615 14$aMathematical Logic and Foundations.
615 24$aModels and Principles.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
615 24$aTheory of Computation.
676   $a511.35
701   $aJensen$b K$g(Kurt),$f1950-$01237950
701   $aBillington$b Jonathan$01237951
701   $aKoutny$b Maciej$f1958-$01223195
906   $aBOOK
912   $a996465909003316
996   $aTransactions on Petri Nets and Other Models of Concurrency III$92873316
997   $aUNISA