KBN grant
8 T11C 037 16
Papers and working notes:
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Rafal Somla.
Finite
Completeness of Categories of Petri Nets.
Submitted, January 2000.
Tomek Borzyszkowski
Logical
systems for structured specifications.
To apper in special issue of Teoretical Computer Science containing chosen
contributions to
13th International Workshop WADT'98,
Lisboa, Portugal, April 1998.
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski
Concurrent
Realizations of Reactive Systems.
ICS PAS Report 881, July 1999.
Also presented at
Category Theory in Computer Science, Edinburgh, 1999.
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski
General
Morphisms of Petri Nets.
ICS PAS Report 874, February 1999.
Extended abstract in Proc. ICALP'99 as Springer's LNCS, vol. 1644.
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski
General
Morphisms of Petri Nets; Extended Abstract.
In J. Wiedermann, P van Emde Boas, M. Nielsen eds.,
Automata, Languages and Programming.
26th Intn'l Coll., Prague, Czech Republic, July 1999.
LNCS,
vol. 1644, pages 190-199, ©Springer-Verlag, 1999.
Slides:
2 up or
4 up.
Comments to webmaster@ipipan.gda.pl.
Last modified: 10 November 1999
|