-
1
-
-
3042996554
-
Continuous and hybrid Petri nets
-
H. Alla and R. David, "Continuous and hybrid Petri nets," J. Circuits Syst. Comput., vol. 8, no. 1, pp. 159-188, 1998.
-
(1998)
J. Circuits Syst. Comput.
, vol.8
, Issue.1
, pp. 159-188
-
-
Alla, H.1
David, R.2
-
4
-
-
0001990888
-
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
-
M. Bernardo and R. Gorrieri, "A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time," Theor. Comput. Sci., vol. 202, no. 1-2, pp. 1-54, 1998.
-
(1998)
Theor. Comput. Sci.
, vol.202
, Issue.1-2
, pp. 1-54
-
-
Bernardo, M.1
Gorrieri, R.2
-
5
-
-
21344479789
-
Exact and ordinary lumpability in finite Markov chains
-
P. Buchholz, "Exact and ordinary lumpability in finite Markov chains," J. Appl. Probability, vol. 31, no. 1, pp. 59-75, 1994.
-
(1994)
J. Appl. Probability
, vol.31
, Issue.1
, pp. 59-75
-
-
Buchholz, P.1
-
6
-
-
0024908784
-
SPNP: Stochastic Petri net package
-
Kyoto, Japan
-
G. Ciardo, J. K. Muppala, and K. S. Trivedi, "SPNP: Stochastic Petri net package," in Proc. 3rd Int. Workshop Petri Nets Perform. Models, Kyoto, Japan, 1989, pp. 142-150.
-
(1989)
Proc. 3rd Int. Workshop Petri Nets Perform. Models
, pp. 142-150
-
-
Ciardo, G.1
Muppala, J.K.2
Trivedi, K.S.3
-
9
-
-
79551645118
-
Performance analysis of service composition based on fuzzy differential equations
-
Z. Ding, H. Shen, and A. Kandel, "Performance analysis of service composition based on fuzzy differential equations," IEEE Trans. Fuzzy Syst., vol. 19, no. 1, pp. 164-178, 2011.
-
(2011)
IEEE Trans. Fuzzy Syst.
, vol.19
, Issue.1
, pp. 164-178
-
-
Ding, Z.1
Shen, H.2
Kandel, A.3
-
10
-
-
84977510484
-
Superposed generalized stochastic Petri nets: Definition and efficient solution
-
London, U.K.
-
S. Donatelli, "Superposed generalized stochastic Petri nets: Definition and efficient solution," in Proc. 15th Int. Conf. Appl. Theory of Petri Nets, London, U.K., 1994, pp. 258-277.
-
(1994)
Proc. 15th Int. Conf. Appl. Theory of Petri Nets
, pp. 258-277
-
-
Donatelli, S.1
-
11
-
-
85008048565
-
A Petri net based correctness analysis of Internet stock trading systems
-
Jan.
-
Y. Du, C. Jiang, and M. C. Zhou, "A Petri net based correctness analysis of Internet stock trading systems," IEEE Trans. Syst., Man, Cybern.: Part C, vol. 38, no. 1, pp. 93-99, Jan. 2008.
-
(2008)
IEEE Trans. Syst., Man, Cybern.: Part C
, vol.38
, Issue.1
, pp. 93-99
-
-
Du, Y.1
Jiang, C.2
Zhou, M.C.3
-
12
-
-
34548319662
-
Modeling and analysis of real-time cooperative systems using Petri nets
-
Sept.
-
Y. Du, C. Jiang, and M. C. Zhou, "Modeling and analysis of real-time cooperative systems using Petri nets," IEEE Trans. Syst., Man, Cybern.: Part A, vol. 37, no. 5, pp. 643-654, Sept. 2007.
-
(2007)
IEEE Trans. Syst., Man, Cybern.: Part A
, vol.37
, Issue.5
, pp. 643-654
-
-
Du, Y.1
Jiang, C.2
Zhou, M.C.3
-
13
-
-
58249122331
-
Modeling and monitoring of E-commerce workflows
-
Jan.
-
Y. Y. Du, C. J. Jiang, M. C. Zhou, and Y. Fu, "Modeling and monitoring of E-commerce workflows," Inform. Sci., vol. 179, pp. 995-1006, Jan. 2009.
-
(2009)
Inform. Sci.
, vol.179
, pp. 995-1006
-
-
Du, Y.Y.1
Jiang, C.J.2
Zhou, M.C.3
Fu, Y.4
-
15
-
-
79951599760
-
Continuous approximation of PEPA models and Petri nets
-
V. Galpin, "Continuous approximation of PEPA models and Petri nets," Int. J. Comput. Aided Eng. Technol., vol. 2, no. 4, pp. 324-339, 2010.
-
(2010)
Int. J. Comput. Aided Eng. Technol.
, vol.2
, Issue.4
, pp. 324-339
-
-
Galpin, V.1
-
16
-
-
18944380652
-
Performance analysis of retrial queueing systems using generalized stochastic Petri net
-
N. Gharbia and M. Ioualalena, "Performance analysis of retrial queueing systems using generalized stochastic Petri net," Electron. Notes Theoret. Comput. Sci., vol. 65, no. 6, pp. 86-100, 2002.
-
(2002)
Electron. Notes Theoret. Comput. Sci.
, vol.65
, Issue.6
, pp. 86-100
-
-
Gharbia, N.1
Ioualalena, M.2
-
17
-
-
0004317158
-
-
2nd ed. Berlin Germany: Springer-Verlag
-
E. Hairer, S. P. Nørsett, and G. Wanner, Solving Ordinary Differential Equations(I)(II), Nonstiff Problems, 2nd ed. Berlin, Germany: Springer-Verlag, 1993.
-
(1993)
Solving Ordinary Differential Equations(I)(II), Nonstiff Problems
-
-
Hairer, E.1
Nørsett, S.P.2
Wanner, G.3
-
18
-
-
0033877460
-
SPADES-A process algebra for discrete event simulation
-
P. Harrison and B. Strulo, "SPADES-A process algebra for discrete event simulation," J. Logic Comput., vol. 10, pp. 3-42, 2000.
-
(2000)
J. Logic Comput.
, vol.10
, pp. 3-42
-
-
Harrison, P.1
Strulo, B.2
-
19
-
-
77950862663
-
A fluid analysis framework for a Markovian process algebra
-
R. A. Hayden and J. T. Bradley, "A fluid analysis framework for a Markovian process algebra," Theoret. Comput. Sci., vol. 411, pp. 2260-2297, 2010.
-
(2010)
Theoret. Comput. Sci.
, vol.411
, pp. 2260-2297
-
-
Hayden, R.A.1
Bradley, J.T.2
-
22
-
-
27144536920
-
Transforming BPEL to Petri nets
-
S. Hinz, K. Schmidt, and C. Stahl, "Transforming BPEL to Petri nets," Lecture Notes in Computer Science, vol. 3649, pp. 220-235, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3649
, pp. 220-235
-
-
Hinz, S.1
Schmidt, K.2
Stahl, C.3
-
25
-
-
23044532171
-
Performance equivalent analysis of workflow systems based on stochastic Petri net models
-
LNCS 2480
-
C. Lin, Y. Qu, F. Ren, and D. C. Marinescu, "Performance equivalent analysis of workflow systems based on stochastic Petri net models," in Proc. 1st Int. Conf. Eng. Deployment of Cooperative Inform. Syst. (EDCIS'02), 2002, pp. 1-64, LNCS 2480.
-
(2002)
Proc. 1st Int. Conf. Eng. Deployment of Cooperative Inform. Syst. (EDCIS'02)
, pp. 1-64
-
-
Lin, C.1
Qu, Y.2
Ren, F.3
Marinescu, D.C.4
-
26
-
-
84655176302
-
Process nets with channels
-
Jan.
-
G. Liu, C. Jiang, and M. C. Zhou, "Process nets with channels," IEEE Trans. Syst., Man, Cybern.-Part A: Syst. Humans, vol. 42, no. 1, pp. 213-225, Jan. 2012.
-
(2012)
IEEE Trans. Syst., Man, Cybern.-Part A: Syst. Humans
, vol.42
, Issue.1
, pp. 213-225
-
-
Liu, G.1
Jiang, C.2
Zhou, M.C.3
-
27
-
-
84885571442
-
Interactive Petri nets
-
Mar.
-
G. Liu, C. Jiang, M. Zhou, and P. Xiong, "Interactive Petri nets," IEEE Trans. Syst., Man, Cybern.: Syst., vol. 43, no. 2, pp. 291-302, Mar. 2013.
-
(2013)
IEEE Trans. Syst., Man, Cybern.: Syst.
, vol.43
, Issue.2
, pp. 291-302
-
-
Liu, G.1
Jiang, C.2
Zhou, M.3
Xiong, P.4
-
28
-
-
0021942583
-
Modeling the Ada task system by Petri nets
-
D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato, "Modeling the Ada task system by Petri nets," Comput. Languages, vol. 10, no. 1, pp. 43-61, 1985.
-
(1985)
Comput. Languages
, vol.10
, Issue.1
, pp. 43-61
-
-
Mandrioli, D.1
Zicari, R.2
Ghezzi, C.3
Tisato, F.4
-
29
-
-
0020175425
-
Performance analysis using stochastic Petri nets
-
M. K.Molloy, "Performance analysis using stochastic Petri nets," IEEE Trans. Comput., vol. C-31, no. 9, pp. 913-917, 1982.
-
(1982)
IEEE Trans. Comput.
, vol.C-31
, Issue.9
, pp. 913-917
-
-
Molloy, M.K.1
-
30
-
-
0024628787
-
Detection ofAda static deadlocks using Petri net invariants
-
T. Murata, B. Shenker, and S. Shatz, "Detection ofAda static deadlocks using Petri net invariants," IEEE Trans. Softw. Eng., vol. 15, no. 3, pp. 314-326, 1989.
-
(1989)
IEEE Trans. Softw. Eng.
, vol.15
, Issue.3
, pp. 314-326
-
-
Murata, T.1
Shenker, B.2
Shatz, S.3
-
31
-
-
0034318052
-
Architecture-based performance analysis applied to a telecommunication system
-
D. Petriu, C. Shousha, and A. Jalnapurkar, "Architecture-based performance analysis applied to a telecommunication system," IEEE Trans. Softw. Eng., vol. 26, no. 11, pp. 1049-1065, 2000.
-
(2000)
IEEE Trans. Softw. Eng.
, vol.26
, Issue.11
, pp. 1049-1065
-
-
Petriu, D.1
Shousha, C.2
Jalnapurkar, A.3
-
32
-
-
0000884538
-
Petri nets fluidification revisited: Semantics and steady state
-
L. Recalde and M. Silva, "Petri nets fluidification revisited: Semantics and steady state," Eur. J. Autom., APII-JESA, vol. 35, no. 4, pp. 435-449, 2001.
-
(2001)
Eur. J. Autom., APII-JESA
, vol.35
, Issue.4
, pp. 435-449
-
-
Recalde, L.1
Silva, M.2
-
33
-
-
8344220389
-
On fluidification of Petri nets: From discrete to hybrid and continuous models
-
M. Silva and L. Recalde, "On fluidification of Petri nets: From discrete to hybrid and continuous models," Ann. Rev. Control, vol. 28, pp. 253-266, 2004.
-
(2004)
Ann. Rev. Control
, vol.28
, pp. 253-266
-
-
Silva, M.1
Recalde, L.2
-
35
-
-
58149495956
-
A Petri net-based method for compatibility analysis and composition of web services in business process execution language
-
Jan.
-
W. Tan, Y. Fan, and M. C. Zhou, "A Petri net-based method for compatibility analysis and composition of web services in business process execution language," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 1, pp. 94-106, Jan. 2009.
-
(2009)
IEEE Trans. Autom. Sci. Eng.
, vol.6
, Issue.1
, pp. 94-106
-
-
Tan, W.1
Fan, Y.2
Zhou, M.C.3
-
36
-
-
0020736536
-
Complexity of analyzing the synchronization structure of concurrent programs
-
R. N. Taylor, "Complexity of analyzing the synchronization structure of concurrent programs," Acta Informatica, vol. 19, no. 1, pp. 57-84, 1983.
-
(1983)
Acta Informatica
, vol.19
, Issue.1
, pp. 57-84
-
-
Taylor, R.N.1
-
37
-
-
34250653849
-
-
2nd ed. Cambridge, U.K.: Cambridge Univ. Press
-
S. A. Teukolsky, W. H. Press, andW. T. Vetterling, Numerical Recipes in C++, 2nd ed. Cambridge, U.K.: Cambridge Univ. Press, 1993.
-
(1993)
Numerical Recipes in C++
-
-
Teukolsky, S.A.1
Press, W.H.2
Vetterling, W.T.3
-
38
-
-
84856527867
-
Scalable differential analysis of process algebra models
-
M. Tribastone, S. Gilmore, and J. Hillston, "Scalable differential analysis of process algebra models," IEEE Trans. Softw. Eng., vol. 38, no. 1, pp. 205-219, 2012.
-
(2012)
IEEE Trans. Softw. Eng.
, vol.38
, Issue.1
, pp. 205-219
-
-
Tribastone, M.1
Gilmore, S.2
Hillston, J.3
-
39
-
-
0025531205
-
Applying Petri net reduction to support Ada tasking deadlock analysis
-
Paris, France
-
S. Tu, S. M. Shatz, and T. Murata, "Applying Petri net reduction to support Ada tasking deadlock analysis," in Proc. 11th Int. Conf. Distrib. Comput. Syst., Paris, France, 1990, pp. 96-103.
-
(1990)
Proc. 11th Int. Conf. Distrib. Comput. Syst.
, pp. 96-103
-
-
Tu, S.1
Shatz, S.M.2
Murata, T.3
-
40
-
-
0033418248
-
An empirical evaluation of deadlock detection in software architecture specifications
-
J. J. P. Tsai and K. Xu, "An empirical evaluation of deadlock detection in software architecture specifications," Ann. Softw. Eng., vol. 7, pp. 95-126, 1999.
-
(1999)
Ann. Softw. Eng.
, vol.7
, pp. 95-126
-
-
Tsai, J.J.P.1
Xu, K.2
-
41
-
-
77249176545
-
A Petri net approach to analysis and composition of web services
-
Mar.
-
P. C. Xiong, Y. Fan, andM. C. Zhou, "A Petri net approach to analysis and composition of web services," IEEE Trans. Syst., Man, Cybern.: Part A, vol. 40, no. 2, pp. 376-387, Mar. 2010.
-
(2010)
IEEE Trans. Syst., Man, Cybern.: Part A
, vol.40
, Issue.2
, pp. 376-387
-
-
Xiong, P.C.1
Fan, Y.2
Zhou, M.C.3
-
42
-
-
64049115878
-
Web service configuration under multiple quality-of-service attributes
-
Apr.
-
P. C. Xiong, Y. Fan, andM. C. Zhou, "Web service configuration under multiple quality-of-service attributes," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 2, pp. 311-321, Apr. 2009.
-
(2009)
IEEE Trans. Autom. Sci. Eng.
, vol.6
, Issue.2
, pp. 311-321
-
-
Xiong, P.C.1
Fan, Y.2
Zhou, M.C.3
|