Sfoglia per Autore
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 Petri nets
2005 L. Capra
Colored Petri nets state-space reduction via symbolic execution
2005 L. Capra
Efficient Analysis of Asymmetric Distributed Systems : a High Level PN Approach
2005 L. Capra
Constraint-based state space reduction in colored PN
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
A Petri-Net based reflective framework for the evolution of dynamic systems
2006 L. Capra, W. Cazzola
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
State-space reduction in colored PN with linearly constrained domains
2006 L. Capra
Self-Evolving Petri Nets
2007 L. Capra, W. Cazzola
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
Integrating symmetries and symbolic enabling test for efficient simulation of SWNs
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
A (timed) state-transition semantics for reflective petri nets
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