For the most recent entries see the
Petri Nets Newsletter.
Holding, D.J.
-
Sagoo, J.S.;
Holding, D.J.:
A Comparison of Temporal Petri Net Techniques in the Specification and Design of Hard Real-time Systems.
1991.
-
Sagoo, J.S.;
Holding, D.J.:
A comparison of temporal Petri net techniques in the specification and design of hard real-time systems.
1991.
-
Draper, C.M.;
Holding, D.J.:
Specification and Verification of the Real-Time Synchronisation Software for a Modular Independently Driven High-Speed Machine.
1989.
-
Carpenter, G.F.;
Holding, D.J.;
Tyrrell, A.M.:
Design and Simulation of Software Fault Tolerant Mechanisms for Application in Distributed Processing Systems.
1988.
-
Capenter, G.F.;
Holding, D.J.;
Tyrrell, A.M.:
The Design and Simulation of Software Fault Tolerant Mechanisms for Application in Distributed Processing Systems.
1988.
-
Capenter, G.F.;
Holding, D.J.;
Tyrrell, A.M.:
Analysis and Protection of Interprocess Communications in Real-time Systems.
1987.
-
Tyrell, A.M.;
Holding, D.J.:
Design of Reliable Software in Distributed Systems Using the Conversation Scheme.
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