LEADER 03762nam  22006855  450 
001 996465474303316
005 20200629125843.0
010   $a3-540-47282-7
024 7 $a10.1007/3-540-55767-9
035   $a(CKB)1000000000233854
035   $a(SSID)ssj0000324933
035   $a(PQKBManifestationID)11251518
035   $a(PQKBTitleCode)TC0000324933
035   $a(PQKBWorkID)10320590
035   $a(PQKB)10349288
035   $a(DE-He213)978-3-540-47282-7
035   $a(PPN)155225235
035   $a(EXLCZ)991000000000233854
100   $a20121227d1992      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModular Construction and Partial Order Semantics of Petri Nets$b[electronic resource] /$fby Walter Vogler
205   $a1st ed. 1992.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992.
215   $a1 online resource (XII, 256 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v625
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-55767-9 
327   $aPetri nets and their semantics -- Parallel composition and deadlocking -- Behaviour preserving refinement of places and transitions -- Action refinement and interval words -- Action refinement and bisimulation -- Partial order semantics for nets with capacities -- Concluding remarks.
330   $aPetri nets are a well-known model for parallel systems, used for both applications and theoretical studies. They can be used for specification, modelling, and analysis, and offer a graphical representation and a clear view of concurrency. For the design of large systems, modular construction is indispensible, and considerable effort has been spent on studying themodular construction of Petri nets. This book studies the modular construction of nets, and in particular the top-down design of nets by action refinement. Suitable behavior descriptions are presented and special care is taken to justify these descriptions by showing that theyare necessary under reasonable specification requirements. In particular, itis shown that partial-order semantics is necessary to support action refinement.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v625
606   $aArchitecture, Computer
606   $aSystem theory
606   $aSoftware engineering
606   $aComputers
606   $aMathematical logic
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aSystems Theory, Control$3https://scigraph.springernature.com/ontologies/product-market-codes/M13070
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aArchitecture, Computer.
615  0$aSystem theory.
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aMathematical logic.
615 14$aComputer System Implementation.
615 24$aSystems Theory, Control.
615 24$aSoftware Engineering.
615 24$aComputation by Abstract Devices.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1/2/028
700   $aVogler$b Walter$4aut$4http://id.loc.gov/vocabulary/relators/aut$0745697
906   $aBOOK
912   $a996465474303316
996   $aModular construction and partial order semantics of Petri nets$91487554
997   $aUNISA