-
1
-
-
0021169132
-
Specification and verification of distributed systems using prolog interpreted petri nets
-
Orlando, Florida
-
Azema, P., Juanole, G., Sanchis, E., Montbernard, M.: Specification and verification of distributed systems using Prolog Interpreted Petri nets. In: Proc. 7th Int. Corf. on Software Engineering, pp. 510-518, Orlando, Florida, 1984
-
(1984)
Proc. 7th Int. Corf. on Software Engineering
, pp. 510-518
-
-
Azema, P.1
Juanole, G.2
Sanchis, E.3
Montbernard, M.4
-
3
-
-
0000940701
-
Checking properties of nets using transformations
-
Rozenberg, G., (ed.) Berlin, Heidelberg, New York: Springer
-
Berthelot, G.: Checking properties of nets using transformations. In: Rozenberg, G., (ed.) Advances in Petri Nets 1985, pp. 19-40. Berlin, Heidelberg, New York: Springer 1987
-
(1987)
Advances in Petri Nets 1985
, pp. 19-40
-
-
Berthelot, G.1
-
4
-
-
0026120365
-
Modeling and verification of time dependent systems using time petri nets
-
Berthomieu, B., Diaz, M. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng. 17(3), 259-273 (1991)
-
(1991)
IEEE Trans. Softw. Eng.
, vol.17
, Issue.3
, pp. 259-273
-
-
Berthomieu, B.1
Diaz, M.2
-
6
-
-
0039114272
-
Automatic real-time analysis of Ada tasking programs for embedded systems
-
(Submitted for Publication), Available as Technical Report 95-1, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago
-
Buy, U., Sloan, R.H.: Automatic real-time analysis of Ada tasking programs for embedded systems. Real Time Systems (Submitted for publication), Available as Technical Report 95-1, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago
-
Real Time Systems
-
-
Buy, U.1
Sloan, R.H.2
-
8
-
-
0004677217
-
Reduction and design of well-behaved concurrent systems
-
Beaten, J.C.M., Klop, J.W. (eds.) Berlin, Heidelberg, New York: Springer
-
Desel, J.: Reduction and design of well-behaved concurrent systems. In: Beaten, J.C.M., Klop, J.W. (eds.) CONCUR '90: Theories of Concurrency: Unification and Extension (Lect. Notes Comput Sci., 458, pp. 166-181) Berlin, Heidelberg, New York: Springer 1990
-
(1990)
CONCUR '90: Theories of Concurrency: Unification and Extension Lect. Notes Comput Sci.
, vol.458
, pp. 166-181
-
-
Desel, J.1
-
9
-
-
0028532451
-
Application and experimental evaluation of state space reduction methods for deadlock analysis in ada
-
Duri, S., Buy, U., Devarapalli, R., Shatz, S.M.: Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada. ACM Trans. Softw. Eng. Methodology 3(4), 340-380 (1994)
-
(1994)
ACM Trans. Softw. Eng. Methodology
, vol.3
, Issue.4
, pp. 340-380
-
-
Duri, S.1
Buy, U.2
Devarapalli, R.3
Shatz, S.M.4
-
10
-
-
1642629642
-
Top-down synthesis of live and bounded free choice nets
-
Paris, France
-
Esparza, J., Silva, M.: Top-down synthesis of live and bounded free choice nets. In: Proc. 11th Conf. on Petri Nets, pp. 63-83, Paris, France, 1990
-
(1990)
Proc. 11th Conf. on Petri Nets
, pp. 63-83
-
-
Esparza, J.1
Silva, M.2
-
11
-
-
0022667616
-
SARA (System ARchitects apprentice): Modeling, analysis, and simulation support for design of concurrent systems
-
Estrin, G., Fenchel, R.S., Razouk, R.R., Vernon, M.K.: SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems. IEEE Trans. Softw. Eng. 12(2), 293-311 (1986)
-
(1986)
IEEE Trans. Softw. Eng.
, vol.12
, Issue.2
, pp. 293-311
-
-
Estrin, G.1
Fenchel, R.S.2
Razouk, R.R.3
Vernon, M.K.4
-
12
-
-
0024860576
-
A general way to put time in Petri nets
-
Pittsburgh, Pennsylvania, May
-
Ghezzi, C., Mandrioli, D., Morasca, S., Pezzé, M.: A general way to put time in Petri nets. In: Proc. 5th Int. Workshop on Software Specifications and Design, pp. 60-67, Pittsburgh, Pennsylvania, May 1989
-
(1989)
Proc. 5th Int. Workshop on Software Specifications and Design
, pp. 60-67
-
-
Ghezzi, C.1
Mandrioli, D.2
Morasca, S.3
Pezzé, M.4
-
13
-
-
84929062089
-
Using partial orders for the efficient verification of deadlock freedom and safety properties
-
Larsen, K.G., Skou, A. (eds.) Berlin, Heidelberg, New York: Springer
-
Godefroid, P., Wolper, P.: Using partial orders for the efficient verification of deadlock freedom and safety properties. In: Larsen, K.G., Skou, A. (eds.) Computer-Aided Verification: 3rd Int. Conf., CAV '91 (Lect. Notes Comput. Sci., 575, pp. 332-342) Berlin, Heidelberg, New York: Springer, 1992
-
(1992)
Computer-aided Verification: 3rd Int. Conf., CAV '91 Lect. Notes Comput. Sci.
, vol.575
, pp. 332-342
-
-
Godefroid, P.1
Wolper, P.2
-
14
-
-
0001604983
-
A reduction theory for coloured Petri nets
-
Rozenberg, G. (ed.) Berlin, Heidelberg, New York: Springer
-
Haddad, S.: A reduction theory for coloured Petri nets. In: Rozenberg, G. (ed.) Advances in Petri nets, (Lect. Notes Comput. Sci., Vol. 424, pp. 209-235) Berlin, Heidelberg, New York: Springer 1990
-
(1990)
Advances in Petri Nets, Lect. Notes Comput. Sci.
, vol.424
, pp. 209-235
-
-
Haddad, S.1
-
15
-
-
0017001923
-
Recoverability of communication protocols-implications of a theoretical study
-
Merlin, P., Faber, D.: Recoverability of communication protocols-implications of a theoretical study. IEEE Trans. Commun. COM-24(9), 381-404 (1976)
-
(1976)
IEEE Trans. Commun.
, vol.COM-24
, Issue.9
, pp. 381-404
-
-
Merlin, P.1
Faber, D.2
-
16
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541-580, 1989
-
(1989)
Proc. IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
18
-
-
0025502608
-
Design and implementation of a petri net-based toolkit for ada tasking analysis
-
Shatz, S.M., Mai, K., Black, C., Tu, S.: Design and implementation of a Petri net-based toolkit for Ada tasking analysis. IEEE Trans. Parallel Distributed Systems, 1(4), 424-441 (1990)
-
(1990)
IEEE Trans. Parallel Distributed Systems
, vol.1
, Issue.4
, pp. 424-441
-
-
Shatz, S.M.1
Mai, K.2
Black, C.3
Tu, S.4
-
19
-
-
0000418537
-
Reachability analysis of petri nets using symmetries
-
Starke, P.H.: Reachability analysis of Petri nets using symmetries. Syst. Anal. Model. Simul. 8, 293-303 (1991)
-
(1991)
Syst. Anal. Model. Simul.
, vol.8
, pp. 293-303
-
-
Starke, P.H.1
-
20
-
-
0025531205
-
Applying petri net reduction to support ada-tasking deadlock analysis
-
Paris, France
-
Tu, S., Shatz, S.M., Murata, T.: Applying Petri net reduction to support Ada-tasking deadlock analysis. In: Proc. 11th Int. Conf. on Distributed Computing Systems, pp. 96-103, Paris, France, 1990
-
(1990)
Proc. 11th Int. Conf. on Distributed Computing Systems
, pp. 96-103
-
-
Tu, S.1
Shatz, S.M.2
Murata, T.3
-
21
-
-
85016851732
-
A stubborn attack on state explosion
-
Clarke, E.M., Kurshan, R.P. (eds.), Berlin, Heidelberg, New York: Springer
-
Valmari, A.: A stubborn attack on state explosion. In: Clarke, E.M., Kurshan, R.P. (eds.), Computer-Aided Verification: 2nd Int. Conf., CAV '90 (Lect. Notes Comput. Sci., 531, pp. 156-165) Berlin, Heidelberg, New York: Springer 1991
-
(1991)
Computer-Aided Verification: 2nd Int. Conf., CAV '90 Lect. Notes Comput. Sci.
, vol.531
, pp. 156-165
-
-
Valmari, A.1
-
22
-
-
84957699348
-
Efficient verification of parallel real-time systems
-
Courcoubetis, C. (ed.), Berlin, Heidelberg, New York: Springer
-
Yoneda, T., Shibayama, A., Schlingloff, B.-H., Clarke, E.M.: Efficient verification of parallel real-time systems. In: Courcoubetis, C. (ed.), Computer-Aided Verification: 5th Int. Conf., CAV '93 (Lect. Notes Comput. Sci., 697, pp. 321-332) Berlin, Heidelberg, New York: Springer 1993
-
(1993)
Computer-Aided Verification: 5th Int. Conf., CAV '93 Lect. Notes Comput. Sci.
, vol.697
, pp. 321-332
-
-
Yoneda, T.1
Shibayama, A.2
Schlingloff, B.-H.3
Clarke, E.M.4
|