For the most recent entries see the
Petri Nets Newsletter.
al.,
-
van der Aalst, W.M.P.;
Aarts, A.;
Koppelman, H.;
Schuwer, R.V.;
al., et:
Informatiesystemen: Modelleren en Specificeren.
1996.
-
Balbo, G.;
Silva, M.;
Chiola, G.;
Campos, J.;
al., et:
The Timed (Coloured) Petri Net Formalism: Position Paper.
1993.
-
Baldassari, M.;
Bottino, G.P.;
Bruno, G.;
Castella, A.;
Grinzato, G.F.;
al., et:
PROTOB and ARTIFEX: Operational Object-Oriented Methodology and Case Environment for Automatic Ada Code Generation.
1990.
-
Cai, Y.N.;
al., et:
Petri Nets for Robot Lattices.
1987.
-
Cai, Z.;
al., et:
Binary Petri Nets and PROLOG for Intelligent Robots.
1987.
-
Schäfer, G.;
al., et:
A Multiperspective Approach for Analysing Office System Requirements.
1987.
-
Murakoshi, H.;
al., et:
Control of Multi-Microprocessor Based on Petri Nets.
1987.
-
Nitta, K.;
al., et:
Configurations of Network Controller and their Perfomance Evaluation in LAN Systems.
1987.
-
Aoyagi, H.;
al., et:
A Study of a Specification Design Expert System in Communication Systems.
1986.
-
Loyer, B.;
al., et:
Communication Protocol Specification and Validation by Means of Petri Nets: Applications to the CSN Subscriber Connection Unit of the E10 and MT Systems.
1986.
-
Ajmone Marsan, M.;
al., et:
On Petri Nets with Stochastic Timing.
1985.
-
Montel, B.;
al., et:
OVIDE: A Software Package for Verifying and Validating Petri Nets.
1983.
-
Castelli, G.;
al., et:
Verso una Metodologica per la Costrutione di Specifiche Strutturate e Corrette di Procedure e Programmi.
1979.
-
Holt, A.W.;
al., et:
Second Semi-Annual Technical Report for the Project `Development of Theoretical Foundations for Description and Analysis of Discrete Information Systems'.
1975.
-
Holt, A.W.;
al., et:
Final Report for the Project `Development of the Theoretical Foundations for Description and Analysis of Discrete Information Systems'. Vol. I (Semantics) and Vol. II (Mathematics).
1974.
-
Holt, A.W.;
al., et:
First Semi-Annual Technical Report for the Project `Development of Theoretical Foundations for Description and Analysis of Discrete Information Systems'.
1974.
-
Shapiro, R.M.;
al., et:
A Handbook on File Structuring.
1969.
-
Holt, A.W.;
al., et:
Information System Theory Project: Final Report.
1968.
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