For the most recent entries see the
Petri Nets Newsletter.
Korczynski, W.
-
Korczynski, Waldemar:
An Axiomatic Characterization of a Class of Petri Nets.
1991.
-
Eggert, H.;
Korczynski, W.:
A Formal Protocol Specification with Predicate/Transition Nets.
1990.
-
Korczynski, W.:
An Algebraic Characterization of a Class of Petri Nets.
1990.
-
Korczynski, W.;
Dupmeier, C.;
Suess, W.:
Eine Einführung in die Grundlagen der Theorie der Höheren Petri-Netze.
1990.
-
Korczynski, W.:
Algebraic Characterization of Concurrent Systems.
1988.
-
Borowik, P.;
Korczynski, W.;
Kudla, T.:
An Axiomatic Characterisation of an Algebra of Processes.
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography