TY  - BOOK
AU  - Donatelli,Susanna
AU  - Thiagarajan,P.S.
ED  - SpringerLink (Online service)
TI  - 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 
T2  - Lecture Notes in Computer Science,
SN  - 9783540347002
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2006///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Operating systems (Computers)
KW  - Information theory
KW  - Computational complexity
KW  - Computer Science
KW  - Theory of Computation
KW  - Software Engineering
KW  - Discrete Mathematics in Computer Science
KW  - Processor Architectures
KW  - Operating Systems
N1  - 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
UR  - http://dx.doi.org/10.1007/11767589
ER  -