For the most recent entries see the
Petri Nets Newsletter.
Klein, S.
-
Klein, S.;
Frey, G.;
Litz, L.;
Lesage, J.-J.:
Supporting the Changeability of SIPN-based Logic Control Algorithms by Verification and Validation.
2003.
-
Klein, S.;
Frey, G.;
Litz, L.:
Designing fault-tolerant Controllers using SIPN and Model-Checking.
2003.
-
Klein, Stéphane;
Frey, Georg;
Minas, Mark:
PLC Programming with Signal Interpreted Petri Nets.
2003.
-
Klein, S.;
Weng, X.;
Frey, G.;
Lesage, J.-J.;
Litz, L.:
Controller Design for an FMS using Signal Interpreted Petri Nets and SFC.
2002.
-
Klein, S.;
Frey, G.;
Litz, L.:
A Petri Net based Approach to the Development of correct Logic Controllers.
2002.
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