CAPRA, LORENZO

CAPRA, LORENZO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 85 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A (timed) state-transition semantics for reflective petri nets 1-gen-2008 L. Capra Book Part (author) -
A comparative assessment of peer-to-peer and server-based configuration management systems 1-set-2004 C. BellettiniL. CapraM. Monga Book Part (author) -
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems 1-dic-1996 L. Capra + Article (author) -
A High Level Language for Structural Relations in Well-formed Nets 1-gen-2005 L. Capra + Book Part (author) -
A Markov process for reflective Petri Nets 1-gen-2008 L. Capra Book Part (author) -
A Petri-Net Based Reflective Framework 1-ott-2005 L. CapraW. Cazzola Book Part (author) -
A quotient graph for asymmetric distributed systems 1-gen-2004 C. BellettiniL. Capra Book Part (author) -
A quotient-graph for the analysis of reflective Petri nets 1-gen-2010 L. Capra Book Part (author) -
A Reflective PN-based Approach to Dynamic Workflow Change 1-set-2007 L. CapraW. Cazzola Book Part (author) -
A symbolic reachability graph and associated Markov process for a class of dynamic Petri nets 1-gen-2010 L. Capra Book Part (author) -
A tool for symbolic manipulation of arc functions in symmetric net models 1-gen-2013 L. Capra + Book Part (author) -
Addressing soundness and efficiency issues in dynamic processes : a reflective PN-based modeling approach 1-gen-2008 L. Capra Book Part (author) -
Algebraic framework for efficient simulation of SWN 1-gen-2006 L. Capra + Book Part (author) -
An algebraic Petri Nets emulator 1-gen-2015 L. Capra Book Part (author) -
Algebraic techniques & symmetries : an efficient simulation approach for well-formed Petri nets 1-gen-2007 L. Capra Book Part (author) -
An application example of symbolic calculus for SWN structural relations 1-gen-2005 L. Capra + Book Part (author) -
An extension of the interpreter pattern to define domain-parametric rewriting systems 1-gen-2014 L. Capra + Book Part (author) -
An Introduction to Reflective Petri Nets 1-nov-2009 L. CapraW. Cazzola Book Part (author) -
ANALYSIS/SIMULATION OF COMPLEX SWN MODELS: A STRUCTURAL APPROACH 1-gen-2006 L. Capra Book Part (author) -
Applying a symbolic approach for SWN enabling test to workflow models 1-gen-2007 L. Capra Book Part (author) -