Book Chapter
CEDISYS compositional distributed systems state of the art, research goals, references
Ugo Montanari
Lecture Notes in Computer Science, 1990, Volume 424, Advances in Petri Nets 1989, Pages 507-524
Book Chapter
Concurrency relations and the safety problem for Petri nets
A. V. Kovalyov
Lecture Notes in Computer Science, 1992, Volume 616, Application and Theory of Petri Nets 1992, Pages 299-309
Book Chapter
Compositional synthesis of live and bounded free choice Petri nets
Javier Esparza and Manuel Silva
Lecture Notes in Computer Science, 1991, Volume 527, CONCUR '91, Pages 172-187
Book Chapter
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen and Glynn Winskel
Lecture Notes in Computer Science, 2008, Volume 5065, Concurrency, Graphs and Models, Pages 757-777
Book Chapter
Vicinity respecting net morphisms
Jörg Desel and Agathe Merceron
Lecture Notes in Computer Science, 1991, Volume 483, Advances in Petri Nets 1990, Pages 165-185
Journal Article
Compositional generation of home states in free choice nets
Eike Best, Ludmila Cherkasova and Jörg Desel
Formal Aspects of Computing, 1992, Volume 4, Number 6, Pages 572-581
Book Chapter
Place/transition Petri Nets
Jörg Desel and Wolfgang Reisig
Lecture Notes in Computer Science, 1998, Volume 1491, Lectures on Petri Nets I: Basic Models, Pages 122-173
Book Chapter
Reachability in reversible Free Choice systems
Jörg Desel and Javier Esparza
Lecture Notes in Computer Science, 1991, Volume 480, STACS 91, Pages 384-397
Book Chapter
A proof of the Rank Theorem for extended free choice nets
Jörg Desel
Lecture Notes in Computer Science, 1992, Volume 616, Application and Theory of Petri Nets 1992, Pages 134-153
Journal Article
Partial order behaviour and structure of Petri nets
Eike Best and Jörg Desel
Formal Aspects of Computing, 1990, Volume 2, Number 1, Pages 123-138