-
2
-
-
0000549481
-
Marked directed graphs
-
F. COMMONER, A.W. HOLT, S. EVEN, A. PNUELI, “Marked directed graphs”, J. Comp. System Sci., 5 (1971) pp. 511-523.
-
(1971)
J. Comp. System Sci.
, vol.5
, pp. 511-523
-
-
Commoner, F.1
Holt, A.W.2
Even, S.3
Pnueli, A.4
-
3
-
-
0003716854
-
Analysis of production schemata by Petri nets
-
M. HACK, “Analysis of production schemata by Petri nets”, MIT, Project MAC, TR 94 (1972).
-
(1972)
MIT, Project MAC, TR
, vol.94
-
-
Hack, M.1
-
4
-
-
85034810095
-
Systems of open paths in Petri nets
-
Sept
-
E. BEST, H.A. SCHMID, “Systems of open paths in Petri nets”, Lecture Notes in Comp. Sci., n ° 32, Sept. 1975, pp. 186-193.
-
(1975)
Lecture Notes in Comp. Sci.
, Issue.32
, pp. 186-193
-
-
Best, E.1
Schmid, H.A.2
-
5
-
-
0007963499
-
-
G.M.D. Internal report ISF-75-02.1, July, Bonn
-
K. LAUTENBACH, “Liveness in Petri nets”, G.M.D. Internal report ISF-75-02.1, July 1975, Bonn.
-
(1975)
Liveness in Petri Nets
-
-
Lautenbach, K.1
-
6
-
-
0009424397
-
Termination properties of generalized Petri nets”, SIAM
-
Y. EDMUND LIEN, “Termination properties of generalized Petri nets”, SIAM J. COMPUT., Vol. 5, No 2, June 1976, pp 251–265.
-
(1976)
J. COMPUT.
, vol.5
, Issue.2
, pp. 251-265
-
-
Lien, Y.1
-
7
-
-
38149056853
-
-
IFIP 1974, North Holland Publ. Co
-
K. LAUTENBACH, H.A. SCHMID, “Use of Petri nets for proving correctness of concurrent process systems”, IFIP 1974, North Holland Publ. Co., 1974, pp 187–191.
-
(1974)
Use of Petri Nets for Proving Correctness of Concurrent Process Systems
, pp. 187-191
-
-
Lautenbach, K.1
Schmid, H.A.2
-
8
-
-
0016921692
-
Some algebraic properties of Petri nets
-
S. CRESPI REGHIZZI, D. MANDRIOLLI, “Some algebraic properties of Petri nets”, Alta Frequenza, no 2, Vol 65, pp 130–137.
-
Alta Frequenza
, vol.65
, Issue.2
, pp. 130-137
-
-
Reghizzi, S.1
Mandriolli, D.2
-
11
-
-
85034453589
-
Semi flows and invariants. Applications in Petri nets theory
-
March, Paris
-
G. MEMMI, “Semi flows and invariants. Applications in Petri nets theory”, Journées sur les réseaux de Petri, March 1977, Paris, pp 145–150.
-
(1977)
Journées Sur Les réseaux De Petri
, pp. 145-150
-
-
Memmi, G.1
-
12
-
-
0002703487
-
Use of Petri nets for performance evaluation
-
North Holland, Publ. Co
-
J. SIFAKIS, “Use of Petri nets for performance evaluation” in “Measuring, Modeling and Evaluation Computer Systems”, pp 75–93, North Holland, Publ. Co., 1977.
-
(1977)
Measuring, Modeling and Evaluation Computer Systems
, pp. 75-93
-
-
Sifakis, J.1
-
13
-
-
0017244387
-
A note on transition systems
-
Y.E. LIEN, “A note on transition systems”, Information Sciences 10, pp 347–362 (1976).
-
(1976)
Information Sciences
, vol.10
, pp. 347-362
-
-
Lien, Y.E.1
|