For the most recent entries see the
Petri Nets Newsletter.
Keyword: system specifications
-
Aoumeur, N.;
Saake, G.:
Specifying and validating train control systems using an appropriate component-based Petri net tool.
2000.
-
Gurovic, D.;
Fengler, W.;
Nützel, J.:
Development of real-time system specifications through the refinement of duration interval Petri nets.
2000.
-
Berio, G.;
di Leva, A.;
Giolito, P.;
Vernadat, F.:
Process and data nets: the conceptual model of the M*-OBJECT methodology.
1999.
-
Kondratyev, A.;
Cortadella, J.;
Kishinevsky, M.;
Lavagno, L.;
Taubin, A.;
Yakovlev, A.:
Identifying state coding conflicts in asynchronous system specification using Petri net unfoldings.
1998.
-
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
Integrating trace logic and Petri net specifications.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography