L. Capra

MaRDI QIDQ2035651zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modular rewritable Petri nets: an efficient model for dynamic distributed systems Theoretical Computer Science	2024-02-20	Paper
Canonization of reconfigurable PT nets in \texttt{Maude} Lecture Notes in Computer Science	2023-07-21	Paper
Formal specification and verification of decentralized self-adaptive systems using symmetric nets Discrete Event Dynamic Systems	2022-01-10	Paper
A structural approach to graph transformation based on symmetric Petri nets Journal of Logical and Algebraic Methods in Programming	2021-06-25	Paper
A formal framework for specifying and verifying microservices based process flows Software Engineering and Formal Methods	2021-05-26	Paper
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters Lecture Notes in Computer Science	2014-07-07	Paper
Evolutionary design through reflective Petri nets: an application to workflow	2009-04-03	Paper
Applications and Theory of Petri Nets 2005 Lecture Notes in Computer Science	2005-12-14	Paper
Exploiting partial symmetries for Markov chain aggregation	2001-05-08	Paper

Research outcomes over time

This page was built for person: L. Capra