Bisimilarity and Behaviour-Preserving Reconfigurations of Petri Nets
Logical Methods in Computer Science4 (4-3), pp. 1-41, 2008.
Creative Common License.[Abstract] [PDF]
P. Baldan,
F. Bonchi,
A. Corradini,
T. Heindel,
B. König
A lattice-theoretical perspective on adhesive categories
Journal of Symbolic Computation 46(3), 2011 .
pp. 222-245
© Elsevier Science.
[Abstract]
[PDF]
P. Baldan,
T. Chatain,
S. Haar,
B. König
Unfolding-Based Diagnosis of Systems with an Evolving Topology
Information and Computation 208 (2010), pp. 1169-1192.
© Academic Press.
[Abstract]
[PDF]
P. Baldan,
N. Cocco,
A. Marin,
M. Simeoni
Petri Nets for Modelling Metabolic Pathways: A Survey
Natural Computing 9:955-989 (2010)
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
B. König,
S. Schwoon
McMillan's Complete Prefix for Contextual Nets
LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) 5100 pp. 199-220 (2008) .
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
H. Ehrig,
R. Heckel,
B. König
Bisimilarity and Behaviour-Preserving Reconfigurations of
Petri Nets
Logical Methods in Computer Science4 (4-3), pp. 1-41, 2008.
Creative Common License.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
B. König
A Framework for the Verification of Infinite-State Graph
Transformation Systems
Information and Computation 206 (2008), pp. 869-907.
© Academic Press.
[Abstract]
[PDF]
P. Baldan, R. Bruni,
A. Bracciali
A Semantic Framework for Open Processes
Theoretical Computer ScienceVol. 389(3) pp. 446-483, 2007.
© Elsevier Science.
(A version with some proofs missing in the journal version is available as Technical Report TR-07-09.
Department of Computer Science, University of Pisa)
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
U. Montanari,
L. Ribeiro
Unfolding Semantics of Graph Transformation
Information and Computation 205 (2007), pp. 733-782.
A previous version is available as Technical Report CS-2005-2.
© Academic Press.
[Abstract]
[PDF]
C.
Bertolissi,
P. Baldan,
H. Cirstea,
C. Kirchner
A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science 17(3), pp. 363-406, 2007.
© Cambridge University Press.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
H. Ehrig,
R. Heckel
Compositional Semantics for Open Petri Nets based on Deterministic Processes
Mathematical Structures in Computer Science 15(1), 2005, pp. 1-35.
© Cambridge University Press.
(A previous version is available as Technical Report TR-01-21.
Department of Computer Science, University of Pisa)
[Abstract]
[PDF]
P. Baldan, N. Busi,
A. Corradini, G.M. Pinna
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs
Theoretical Computer ScienceVol. 323 (1-3) pp. 129-189, 2004.
© Elsevier Science.
(A previous version is available as Technical Report TR-05-00.
Department of Computer Science, University of Pisa)
[Abstract]
[PDF]
F. Alessi, P. Baldan,
F. Honsell
A category of compositional domain-models for separable Stone spaces
Theoretical Computer Science 290(1), 2003, pp. 599-635.
© Elsevier Science.
(A previous version is available as Technical Report TR-14-00.
Department of Computer Science, University of Pisa)
[Abstract]
[PDF]
P. Baldan, A. Corradini,
U. Montanari
Contextual Petri nets, asymmetric event structures and processes
Information and Computation 171 (1) (2001), pp. 1-49.
A previous version is available asTechnical Report TR-99-18.
© Academic Press.
[Abstract]
[PDF]
P. Baldan, G. Ghelli,
A. Raffaetà
Basic theory of F-bounded quantification
Information and Computation 153 (1999), pp. 173-237.
© Academic Press.
[Abstract]
[PDF]
F. Alessi, P. Baldan
A Characterization of Distance between 1-Bounded Compact Ultrametric
Spaces through a Universal Space
Theoretical Computer Science 193 (1-2) (1998) pp. 113-127.
© Elsevier Science.
[Abstract]
[PDF]
F. Alessi, P. Baldan,
G. Bellè
A Fixed Point Theorem in a Category of Compact Metric Spaces
Theoretical Computer Science 146(1-2) (1995) pp. 311-320.
© Elsevier Science.
[Abstract]
[PDF]