LEADER 04844nam  22008175  450 
001 9910145798903321
005 20200703174828.0
010   $a3-540-40022-2
024 7 $a10.1007/b83526
035   $a(CKB)1000000000016817
035   $a(SSID)ssj0000325624
035   $a(PQKBManifestationID)11232868
035   $a(PQKBTitleCode)TC0000325624
035   $a(PQKBWorkID)10325428
035   $a(PQKB)11065015
035   $a(DE-He213)978-3-540-40022-6
035   $a(MiAaPQ)EBC3088843
035   $a(PPN)155207768
035   $a(EXLCZ)991000000000016817
100   $a20121227d2003      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPetri Net Technology for Communication-Based Systems $eAdvances in Petri Nets /$fedited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
205   $a1st ed. 2003.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003.
215   $a1 online resource (VIII, 468 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2472
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-20538-1 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aThe Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY -- Application Development Assistance with the Petri Net Baukasten -- Petri Net Transformations in the ?Petri Net Baukasten? -- Four Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED -- The Petri Net Kernel -- The Petri Net Markup Language -- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets -- Rule-Based Refinement of Petri Nets: A Survey -- Modelling a Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business Processes with VIPbusiness -- Inter-organizational Business Process Management with XML Nets -- Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL -- Open Petri Nets as Semantic Model for Workflow Integration -- Team Automata for CSCW ? A Survey ? -- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling ? A Quest for Reactive Petri Nets -- BASYSNET ? An Integrated Approach for Automated Control System Development -- The Electronic Tool Integration Platform (ETI) and the Petri Net Technology -- Inheritance of Business Processes: A Journey Visiting Four Notorious Problems -- A Formal Framework for Petri Net Class Transformations -- Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2472
606   $aSoftware engineering
606   $aComputer science
606   $aComputer communication systems
606   $aComputers
606   $aComputer logic
606   $aComputer science?Mathematics
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aComputer communication systems.
615  0$aComputers.
615  0$aComputer logic.
615  0$aComputer science?Mathematics.
615 14$aSoftware Engineering.
615 24$aComputer Science, general.
615 24$aComputer Communication Networks.
615 24$aComputation by Abstract Devices.
615 24$aLogics and Meanings of Programs.
615 24$aDiscrete Mathematics in Computer Science.
676   $a004.6
702   $aEhrig$b Hartmut$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aReisig$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWeber$b Herbert$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910145798903321
996   $aPetri net technology for communication-based systems$9953830
997   $aUNINA