CAPRA, LORENZO

CAPRA, LORENZO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 89 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
(Symbolic) state-space inspection of a class of dynamic Petri nets 2010 L. CapraW. Cazzola Article (author) -
(Symbolic) state-space inspection of a class of dynamic Petri nets 2010 L. CapraW. Cazzola Book Part (author) -
(Toward) Discrete-event simulation of reflective Petri nets 2009 L. Capra Book Part (author) -
A (timed) state-transition semantics for reflective petri nets 2008 L. Capra Book Part (author) -
A comparative assessment of peer-to-peer and server-based configuration management systems 2004 C. BellettiniL. CapraM. Monga Book Part (author) -
A Formal Framework for Specifying and Verifying Microservices Based Process Flows 2018 M. CamilliC. BellettiniL. CapraM. Monga Book Part (author) -
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems 1996 L. Capra + Article (author) -
A High Level Language for Structural Relations in Well-formed Nets 2005 L. Capra + Book Part (author) -
A high-level petri net-based formal model of distributed self-adaptive systems 2018 Matteo CamilliCarlo BellettiniLorenzo Capra Book Part (author) -
A lumped Markov process for a class of dynamic Petri nets 2011 L. Capra Book Part (author) -
A Markov process for reflective Petri Nets 2008 L. Capra Book Part (author) -
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems 2021 Capra, Lorenzo Article (author) -
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support 2020 Capra L. Book Part (author) -
A Petri-Net Based Reflective Framework 2005 L. CapraW. Cazzola Book Part (author) -
A Petri-Net based reflective framework for the evolution of dynamic systems 2006 L. CapraW. Cazzola Article (author) -
A pure SPEC-inscribed PN model for reconfigurable systems 2016 L. Capra Book Part (author) -
A quotient graph for asymmetric distributed systems 2004 C. BellettiniL. Capra Book Part (author) -
A quotient-graph for the analysis of reflective Petri nets 2010 L. Capra Book Part (author) -
A Reflective PN-based Approach to Dynamic Workflow Change 2007 L. CapraW. Cazzola Book Part (author) -
A structural approach to graph transformation based on symmetric Petri nets 2021 Capra L. Article (author) -