03648nam 22007215 450 99646590900331620200704024051.03-642-04856-010.1007/978-3-642-04856-2(CKB)1000000000804460(SSID)ssj0000355645(PQKBManifestationID)11259260(PQKBTitleCode)TC0000355645(PQKBWorkID)10341288(PQKB)11351802(DE-He213)978-3-642-04856-2(MiAaPQ)EBC3064765(PPN)139962263(EXLCZ)99100000000080446020100301d2009 u| 0engurnn#008mamaatxtccrTransactions on Petri Nets and Other Models of Concurrency III[electronic resource]1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XVII, 275 p.)Transactions on Petri Nets and Other Models of Concurrency,1867-7193 ;5800Selected conference papers, from various workshops.3-642-04854-4 Includes bibliographical references and index.Designing 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.Transactions on Petri Nets and Other Models of Concurrency,1867-7193 ;5800Mathematical logicComputersSoftware engineeringComputer programmingMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Models and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Mathematical logic.Computers.Software engineering.Computer programming.Mathematical Logic and Foundations.Models and Principles.Software Engineering.Programming Techniques.Mathematical Logic and Formal Languages.Theory of Computation.511.35Jensen K(Kurt),1950-1237950Billington Jonathan1237951Koutny Maciej1958-1223195BOOK996465909003316Transactions on Petri Nets and Other Models of Concurrency III2873316UNISA