03470nam 22005295 450 99646610340331620200701194740.03-540-39320-X10.1007/3-540-15204-0(CKB)1000000000230426(SSID)ssj0000321008(PQKBManifestationID)11246882(PQKBTitleCode)TC0000321008(PQKBWorkID)10263516(PQKB)11169776(DE-He213)978-3-540-39320-7(PPN)155222562(EXLCZ)99100000000023042620121227d1985 u| 0engurnn|008mamaatxtccrAdvances in Petri Nets 1984[electronic resource] /edited by G. Rozenberg1st ed. 1985.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1985.1 online resource (XII, 472 p.) Lecture Notes in Computer Science,0302-9743 ;188Bibliographic Level Mode of Issuance: Monograph3-540-15204-0 PSI: 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.Lecture Notes in Computer Science,0302-9743 ;188Software engineeringComputer communication systemsSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software engineering.Computer communication systems.Software Engineering.Computer Communication Networks.005.1Rozenberg Gedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466103403316Advances in Petri nets 1984383019UNISA