-
1
-
-
0017504301
-
State equation, controllability, and maximal matching of Petri nets
-
T. Murata, "State equation, controllability, and maximal matching of Petri nets", IEEE Transactions on Automatic Control AC-22, 3 (1977) 412-416.
-
(1977)
IEEE Transactions on Automatic Control
, vol.AC-22
, Issue.3
, pp. 412-416
-
-
Murata, T.1
-
2
-
-
0017513157
-
Circuit theoretic analysis and synthesis of marked graphs
-
T. Murata, "Circuit theoretic analysis and synthesis of marked graphs", IEEE Trans. Circuits Syst. CAS-24, 7 (1977) 400-405.
-
(1977)
IEEE Trans. Circuits Syst.
, vol.CAS-24
, Issue.7
, pp. 400-405
-
-
Murata, T.1
-
3
-
-
3042970217
-
A class of Petri nets that a necessary and sufficient condition for reachability is obtainable
-
K. Hiraishi and A. Ichikawa, "A class of Petri nets that a necessary and sufficient condition for reachability is obtainable", Trans. SICE 24, 6 (1988) 635-640.
-
(1988)
Trans. SICE
, vol.24
, Issue.6
, pp. 635-640
-
-
Hiraishi, K.1
Ichikawa, A.2
-
4
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
T. Murata, "Petri nets: Properties, analysis and applications", Procs. IEEE 77, 4 (1989) 541-580.
-
(1989)
Procs. IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
5
-
-
0027609628
-
Reachability in cyclic extended free choice systems
-
J. Desel and J. Esparza, "Reachability in cyclic extended free choice systems", Theoretical Computer Science 114 (1993) 93-118.
-
(1993)
Theoretical Computer Science
, vol.114
, pp. 93-118
-
-
Desel, J.1
Esparza, J.2
-
6
-
-
0041619436
-
Handles and reachability analysis of free choice nets
-
D. Lee, S. Kumagai, and S. Kodama, "Handles and reachability analysis of free choice nets", Proc. 16th Int. Conf. on Application and Theory of Petri Nets, LNCS 935 (1995) 298-315.
-
(1995)
Proc. 16th Int. Conf. on Application and Theory of Petri Nets, LNCS
, vol.935
, pp. 298-315
-
-
Lee, D.1
Kumagai, S.2
Kodama, S.3
-
8
-
-
0030574553
-
Structure theory of equal conflict systems
-
E. Teruel and M. Silva, "Structure theory of equal conflict systems", Theoret. Comput. Sci., 153 (1996) 271-300.
-
(1996)
Theoret. Comput. Sci.
, vol.153
, pp. 271-300
-
-
Teruel, E.1
Silva, M.2
-
10
-
-
0004869295
-
-
Computer Group memo 78-1, Project MAC, MIT, Cambridge, MASS
-
M. Hack, "Extended state-machine allocatable nets (ESMA), an extension of free choice Petri nets results", Computer Group memo 78-1, Project MAC, MIT, Cambridge, MASS, 1974.
-
(1974)
Extended State-machine Allocatable Nets (ESMA), An Extension of Free Choice Petri Nets Results
-
-
Hack, M.1
-
11
-
-
3042965620
-
Siphoning, risky and fatal transitions in Petri nets
-
J. Huang and T. Murata, "Siphoning, risky and fatal transitions in Petri nets", Petri Net Newsletter 52 (1997) 14-32, with the cover-picture story, "Before firing, think how risky it would be!"
-
(1997)
Petri Net Newsletter
, vol.52
, pp. 14-32
-
-
Huang, J.1
Murata, T.2
-
12
-
-
0007387834
-
Circuits, handles, bridges and nets
-
J. Esparza and M. Silva, "Circuits, handles, bridges and nets", in Procs. of 10th Int. Conf. on Applications and Theory of Petri Nets, 1989, pp. 134-153.
-
(1989)
Procs. of 10th Int. Conf. on Applications and Theory of Petri Nets
, pp. 134-153
-
-
Esparza, J.1
Silva, M.2
-
14
-
-
3042999549
-
A structural property of free-choice nets
-
J. Desel, "A structural property of free-choice nets", Petri Net Newsletters 25 (1986) 16-20.
-
(1986)
Petri Net Newsletters
, vol.25
, pp. 16-20
-
-
Desel, J.1
|