Lorenzo Capra

Available identifiers

zbMath Open capra.lorenzoMaRDI QIDQ2035651

List of research outcomes

Publication	Date of Publication	Type
Modular rewritable Petri nets: an efficient model for dynamic distributed systems	2024-02-20	Paper
Canonization of reconfigurable PT nets in \texttt{Maude}	2023-07-21	Paper
Formal specification and verification of decentralized self-adaptive systems using symmetric nets	2022-01-10	Paper
A structural approach to graph transformation based on symmetric Petri nets	2021-06-25	Paper
A Formal Framework for Specifying and Verifying Microservices Based Process Flows	2021-05-26	Paper
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters	2014-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3619262	2009-04-03	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q2703728	2001-05-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lorenzo Capra