LEADER 01179nam0-22003611i-450- 001 990007944920403321 005 20110309214630.0 010 $a88-492-0387-X 035 $a000794492 035 $aFED01000794492 035 $a(Aleph)000794492FED01 035 $a000794492 100 $a20041109d2003----km-y0itay50------ba 101 1 $aita 102 $aIT 105 $ay---a---101yy 200 1 $a<>valutazione ambientale strategica nella pianificazione territoriale$enuove prospettive per la gestione delle trasformazioni urbanistiche$fa cura di Maurizio Garano, Corrado Zoppi 210 $aRoma$cGangemi$d2003 215 $a494 p.$cill.$d24 cm 300 $aAtti del seminario di studio di Cagliari del 19-20 aprile 2002 610 0 $aPianificazione territoriale 676 $a711 702 1$aGarano,$bMaurizio 702 1$aZoppi,$bCorrado 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007944920403321 952 $aVII C 406$b40244$fFSPBC 952 $aURB.LE B 2065$b13650$fFARBC 959 $aFSPBC 959 $aFARBC 996 $aValutazione ambientale strategica nella pianificazione territoriale$9748814 997 $aUNINA LEADER 05267nam 22008895 450 001 9910483546303321 005 20251226203415.0 010 $a3-540-34700-3 024 7 $a10.1007/11767589 035 $a(CKB)1000000000233007 035 $a(SSID)ssj0000319415 035 $a(PQKBManifestationID)11937726 035 $a(PQKBTitleCode)TC0000319415 035 $a(PQKBWorkID)10337130 035 $a(PQKB)11743679 035 $a(DE-He213)978-3-540-34700-2 035 $a(MiAaPQ)EBC3068207 035 $a(PPN)123135575 035 $a(BIP)34164099 035 $a(BIP)13450484 035 $a(EXLCZ)991000000000233007 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPetri Nets and Other Models of Concurrency - ICATPN 2006 $e27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings /$fedited by Susanna Donatelli, P.S. Thiagarajan 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XI, 441 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4024 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-34699-6 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Invariant Based Programming -- On the Integration of UML and Petri Nets in Software Development -- Component Tools: Integrating Petri Nets with Other Formal Methods -- Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development -- Full Papers -- Compensation in Workflow Nets -- The Synthesis Problem of Netcharts -- Non-sequential Behaviour of Dynamic Nets -- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets -- On the Computation of Stubborn Sets of Colored Petri Nets -- On the Construction of Pullbacks for Safe Petri Nets -- From Petri Nets to Differential Equations ? An Integrative Approach for Biochemical Network Analysis -- How Expressive Are Petri Net Schemata? -- A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets -- Nested Nets for Adaptive Systems -- Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets -- Infinite Process Semantics of Inhibitor Nets -- Towards Synthesis of Petri Nets from Scenarios -- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions -- On the Step Explosion Problem -- Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets -- Tool Papers -- Can I Execute My Scenario in Your Net? VipTool Tells You! -- Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets -- ArgoSPE: Model-Based Software Performance Engineering -- Petriweb: A Repository for Petri Nets -- Geist3D, a Simulation Tool for Geometry-Driven Petri Nets -- The BRITNeY Suite Animation Tool. 330 $aThis book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4024 606 $aComputer science 606 $aSoftware engineering 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aComputer networks 606 $aMicroprocessors 606 $aComputer architecture 606 $aOperating systems (Computers) 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aDiscrete Mathematics in Computer Science 606 $aComputer Communication Networks 606 $aProcessor Architectures 606 $aOperating Systems 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aComputer networks. 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 0$aOperating systems (Computers). 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aComputer Communication Networks. 615 24$aProcessor Architectures. 615 24$aOperating Systems. 676 $a511.35 701 $aDonatelli$b Susanna$01758504 701 $aThiagarajan$b P. S$01763992 712 12$aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483546303321 996 $aPetri Nets and Other Models of Concurrency - ICATPN 2006$94522359 997 $aUNINA