Marta Simeoni

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
Petri Nets for Modelling and Analysing Trophic Networks Fundamenta Informaticae	2018-07-18	Paper
Comparing metabolic pathways through reactions and potential fluxes Transactions on Petri Nets and Other Models of Concurrency VIII	2013-09-17	Paper
An abstract module concept for graph transformation systems Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
An \textsc{Agg} application supporting visual reasoning Electronic Notes in Theoretical Computer Science	2013-05-10	Paper
Petri nets for modelling metabolic pathways: a survey Natural Computing	2010-11-30	Paper
scientific article; zbMATH DE number 2079664 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1950549 (Why is no real title available?)	2003-07-17	Paper
Formal software specification with refinements and modules of typed graph transformation systems Journal of Computer and System Sciences	2002-08-04	Paper
From formulae to rewriting systems Lecture Notes in Computer Science	2001-11-06	Paper
Refinements of graph transformation systems via rule expressions Lecture Notes in Computer Science	2000-11-07	Paper
Refinements and modules for typed graph transformation systems Lecture Notes in Computer Science	2000-03-19	Paper
scientific article; zbMATH DE number 1406165 (Why is no real title available?)	2000-02-23	Paper
Spatial and temporal refinement of typed graph transformation systems Lecture Notes in Computer Science	1998-11-11	Paper

Research outcomes over time

This page was built for person: Marta Simeoni