LEADER 04261nam  2200649 a 450 
001 9910483546303321
005 20200520144314.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(EXLCZ)991000000000233007
100   $a20060428d2006      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPetri nets and other models of concurrency $eICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings /$fSusanna Donatelli, P.S. Thiagarajan (eds.)
205   $a1st ed. 2006.
210   $aBerlin $cSpringer$d2006
215   $a1 online resource (XI, 441 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v4024
225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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.
410  0$aLecture notes in computer science ;$v4024.
410  0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues.
517 3 $a27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
517 3 $aTwenty-seventh International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
517 3 $aICATPN 2006
606   $aPetri nets$vCongresses
606   $aComputer multitasking$vCongresses
606   $aParallel processing (Electronic computers)$vCongresses
615  0$aPetri nets
615  0$aComputer multitasking
615  0$aParallel processing (Electronic computers)
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$94204726
997   $aUNINA