( en | de | ru )

 

Disambiguation of "Capra, Lorenzo"

Author of the publication

copydeleteadd this publication to your clipboard
A (Timed) State-Transition Semantics for Reflective Petri Nets.

. SYNASC, page 164-170. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Federica Capranico

Renato Capraro

Gabriele Caprano-Diehl

Félicien Capraro

Hildegard Caprano

 

Other publications of authors with the same name

Distributed CTL Model Checking in the Cloud., , , and . CoRR, (2013)MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters., , , and . RP, volume 8169 of Lecture Notes in Computer Science, page 83-95. Springer, (2013)A Formal Framework for Specifying and Verifying Microservices Based Process Flows., , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 187-202. Springer, (2017)SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation., , and . ICATPN, volume 1639 of Lecture Notes in Computer Science, page 168-187. Springer, (1999)Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets, , and . Electronic Notes in Theoretical Computer Science, 128 (4): 59 - 77 (2005)Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004) Practical Applications of Stochastic Modelling 2004.A lumped Markov process for a class of dynamic Petri nets.. SpringSim (ANSS), page 188-197. SCS/ACM, (2011)1-930638-56-6.Self-Evolving Petri Nets., and . J. Univers. Comput. Sci., 13 (13): 2002-2034 (2007)A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems., and . FSEN, volume 159 of Electronic Notes in Theoretical Computer Science, page 41-59. Elsevier, (2005)An Efficient Maude Formalization of (Rewritable) PT Nets.. SYNASC, page 186-193. IEEE, (2021)A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets.. MASCOTS, page 458-461. IEEE Computer Society, (2010)