Sfoglia per Autore
Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets
2005 C. Bellettini, L. Capra, M. Monga
A High Level Language for Structural Relations in Well-formed Nets
2005 L. Capra, M. De Pierro, G. Franceschinis
Constraint-based state space reduction in colored PN
2005 L. Capra
Quotient graphs for the analysis of asymmetric distributed systems : surveying two alternative approaches
2005 C. Bellettini, L. Capra
Colored Petri nets state-space reduction via symbolic execution
2005 L. Capra
A Petri-Net Based Reflective Framework
2005 L. Capra, W. Cazzola
Algebraic framework for efficient simulation of SWN
2006 L. Capra, M. De Pierro
Efficient enabling test in simulation of SWN
2006 L. Capra, M. De Pierro
Applying structural techniques for efficient analysis of complex SWN models
2006 L. Capra
ANALYSIS/SIMULATION OF COMPLEX SWN MODELS: A STRUCTURAL APPROACH
2006 L. Capra
A Petri-Net based reflective framework for the evolution of dynamic systems
2006 L. Capra, W. Cazzola
State-space reduction in colored PN with linearly constrained domains
2006 L. Capra
Self-Evolving Petri Nets
2007 L. Capra, W. Cazzola
Integrating symmetries and symbolic enabling test for efficient simulation of SWNs
2007 L. Capra
Applying a symbolic approach for SWN enabling test to workflow models
2007 L. Capra
Algebraic techniques & symmetries : an efficient simulation approach for well-formed Petri nets
2007 L. Capra
Using a stochastic well-formed net model for assessing a decentralized approach to configuration management
2007 C. Bellettini, L. Capra, M. Monga
A Reflective PN-based Approach to Dynamic Workflow Change
2007 L. Capra, W. Cazzola
Addressing soundness and efficiency issues in dynamic processes : a reflective PN-based modeling approach
2008 L. Capra
Designing dependable dynamic workflows through a reflective PN-based approach
2008 L. Capra
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile