LEADER 03470nam  22005295  450 
001 996466103403316
005 20200701194740.0
010   $a3-540-39320-X
024 7 $a10.1007/3-540-15204-0
035   $a(CKB)1000000000230426
035   $a(SSID)ssj0000321008
035   $a(PQKBManifestationID)11246882
035   $a(PQKBTitleCode)TC0000321008
035   $a(PQKBWorkID)10263516
035   $a(PQKB)11169776
035   $a(DE-He213)978-3-540-39320-7
035   $a(PPN)155222562
035   $a(EXLCZ)991000000000230426
100   $a20121227d1985      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAdvances in Petri Nets 1984$b[electronic resource] /$fedited by G. Rozenberg
205   $a1st ed. 1985.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1985.
215   $a1 online resource (XII, 472 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v188
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-15204-0 
327   $aPSI: A petri net based simulator for flexible manufacturing systems -- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system -- Concurrency axioms and D-continuous posets -- Frozen tokens and D-continuity: A study in relating system properties to process properties -- Modelling scheduling problems with timed petri nets -- Infinite behaviour and fairness in petri nets -- Petri net based models for the specification and validation of protocols -- A note on observable occurrence nets -- A lattice theoretic view of K-density -- Fair serializability of iterated transactions using fifo-nets -- Csp-programs as nets with individual tokens -- Design and programming of interfaces for monetic applications using petri nets -- Towards reachability trees for high-level petri nets -- The residue of vector sets with applications to decidability problems in petri nets -- The design of a program package for an introductory petri net course -- On communication protocol modelling and design -- On structural properties of generalized processes -- Stepwise construction of non-sequential software systems using a net-based specification language -- Liveness and duality in marked-graph-like predicate/transition nets -- Semantics of concurrent systems: A modular fixed-point trace approach -- The reachability problem for VAS -- K-density, N-density, and finiteness properties -- A net model of a local area network protocol -- In praise of free choice nets -- Computation of flows for unary-predicates/transitions-nets.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v188
606   $aSoftware engineering
606   $aComputer communication systems
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
676   $a005.1
702   $aRozenberg$b G$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466103403316
996   $aAdvances in Petri nets 1984$9383019
997   $aUNISA