LEADER 04599nam  22008055  450 
001 996465435503316
005 20200702144017.0
010   $a3-540-27755-2
024 7 $a10.1007/b98282
035   $a(CKB)1000000000212437
035   $a(SSID)ssj0000190858
035   $a(PQKBManifestationID)11172077
035   $a(PQKBTitleCode)TC0000190858
035   $a(PQKBWorkID)10180977
035   $a(PQKB)11454471
035   $a(DE-He213)978-3-540-27755-2
035   $a(MiAaPQ)EBC3088623
035   $a(PPN)155225758
035   $a(EXLCZ)991000000000212437
100   $a20121227d2004      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLectures on Concurrency and Petri Nets$b[electronic resource] $eAdvances in Petri Nets /$fedited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg
205   $a1st ed. 2004.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004.
215   $a1 online resource (XX, 852 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3098
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-22261-8 
320   $aIncludes bibliographical references at the end of each chapters.
327   $aBusiness Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal Nets -- Application of Coloured Petri Nets in System Development -- Bigraphs for Petri Nets -- Notes on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object Petri Nets.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v3098
606   $aMathematical logic
606   $aComputers
606   $aAlgorithms
606   $aComputer logic
606   $aComputer communication systems
606   $aInformation storage and retrieval
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
615  0$aMathematical logic.
615  0$aComputers.
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aComputer communication systems.
615  0$aInformation storage and retrieval.
615 14$aMathematical Logic and Foundations.
615 24$aComputation by Abstract Devices.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
615 24$aComputer Communication Networks.
615 24$aInformation Storage and Retrieval.
676   $a511.35
702   $aDesel$b Jörg$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
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465435503316
996   $aLectures on concurrency and petri nets$91029589
997   $aUNISA