For the most recent entries see the
Petri Nets Newsletter.
Keyword: system specification
-
Wang, J.;
Deng, Y.;
Xu, G.:
Reachability analysis of real-time systems using time Petri nets.
2000.
-
Frey, M.;
Podolsky, M.:
Specifying and analyzing distributed object-oriented systems.
1999.
-
So, B.;
Lew, A.:
Automatic code generation for simulating information systems.
1999.
-
David, R.:
GRAFCET - a powerful tool for specification of logic controllers.
1995.
-
Hulgaard, H.;
Burns, S.M.;
Amon, T.;
Borriello, G.:
An algorithm for exact bounds on the time separation of events in concurrent systems.
1995.
-
Liu, N.K.;
Dillon, T.:
Formal description and verification of production systems.
1995.
-
Feldbrugge, Frits:
Petri Net Tools Overview 1992.
1992.
-
Buchs, Didier;
Guelfi, Nicolas:
System Specification Using CO-OPN.
1991.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography