Petri Nets and Other Models of Concurrency - ICATPN 2006  27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings /  [electronic resource] : 
edited by Susanna Donatelli, P.S. Thiagarajan. 
 - 1st ed. 2006. 
 - XI, 441 p.  online resource. 
 - Theoretical Computer Science and General Issues,  4024  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  4024 .
<br/><br/>Invited 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. 
<br/><br/><label>ISBN: </label>9783540347002 
<br/><br/><label>Standard No.: </label>10.1007/11767589  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Computer science--Mathematics.<br/>Discrete mathematics.<br/>Computer networks .<br/>Microprocessors.<br/>Computer architecture.<br/>Operating systems (Computers).<br/>Theory of Computation.<br/>Software Engineering.<br/>Discrete Mathematics in Computer Science.<br/>Computer Communication Networks.<br/>Processor Architectures.<br/>Operating Systems.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151