IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 97
Titolo Data di pubblicazione Autori Tipo File Abstract
A (timed) state-transition semantics for reflective petri nets 2008 L. Capra Book Part (author) -
A Markov process for reflective Petri Nets 2008 L. Capra Book Part (author) -
Evolutionary Design through Reflective Petri Nets : an Application to Workflow 2008 L. CapraW. Cazzola Book Part (author) -
(Toward) Discrete-event simulation of reflective Petri nets 2009 L. Capra Book Part (author) -
Evolving System's Modeling and Simulation through Reflective Petri Nets 2009 L. CapraW. Cazzola Book Part (author) -
Trying Out Reflective Petri Nets on a Dynamic Workflow Case 2009 L. CapraW. Cazzola Book Part (author) -
An Introduction to Reflective Petri Nets 2009 L. CapraW. Cazzola Book Part (author) -
(Symbolic) state-space inspection of a class of dynamic Petri nets 2010 L. CapraW. Cazzola Book Part (author) -
A quotient-graph for the analysis of reflective Petri nets 2010 L. Capra Book Part (author) -
A symbolic reachability graph and associated Markov process for a class of dynamic Petri nets 2010 L. Capra Book Part (author) -
(Symbolic) state-space inspection of a class of dynamic Petri nets 2010 L. CapraW. Cazzola Article (author) -
A lumped Markov process for a class of dynamic Petri nets 2011 L. Capra Book Part (author) -
Reachability analysis of time basic Petri Nets: a time coverage approach 2012 C. BellettiniL. Capra Book Part (author) -
Symbolic state space exploration of RT systems in the cloud 2012 C. BellettiniM. CamilliL. CapraM. Monga Book Part (author) -
MaRDiGraS : simplified building of reachability graphs on large clusters 2013 C. BellettiniM. CamilliL. CapraM. Monga Book Part (author) -
A tool for symbolic manipulation of arc functions in symmetric net models 2013 L. Capra + Book Part (author) -
An extension of the interpreter pattern to define domain-parametric rewriting systems 2014 L. Capra + Book Part (author) -
Multidimensional human dynamics in mobile phone communications 2014 C. QuadriM. ZignaniL. CapraS. GaitoG.P. Rossi Article (author) -
An algebraic Petri Nets emulator 2015 L. Capra Book Part (author) -
Computing structural properties of symmetric nets 2015 L. Capra + Book Part (author) -
Mostrati risultati da 41 a 60 di 97
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