For the most recent entries see the
Petri Nets Newsletter.
Somers, L.J.
-
van Hee, K.M.;
Somers, L.J.;
Voorhoeve, M.:
Z and high level Petri Nets.
1991.
-
van Hee, K.M.;
Somers, L.J.;
Voorhoeve, M.:
A Modelling Environment for Decision Support Systems.
1991.
-
van Hee, K.M.;
Somers, L.J.;
Voorhoeve, M.:
A Formal Framework for Simulation of Discrete Event Systems.
1989.
-
van Hee, K.M.;
Somers, L.J.;
Voorhoeve, M.:
Executable specifications for distributed information systems.
1989.
-
van Hee, K.M.;
Somers, L.J.;
Voorhoeve, M.:
A Formal Framework for Simulation of Discrete Event Systems.
1989.
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