-
1
-
-
0030716528
-
State space construction and steady state solution of GSPNs on a shared-memory multiprocessor
-
IEEE CS Press
-
S. Allmaier, M. Kowarschik, and G. Horton, "State space construction and steady state solution of GSPNs on a shared-memory multiprocessor," in Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), IEEE CS Press, 1997, pp. 112-121.
-
(1997)
Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97)
, pp. 112-121
-
-
Allmaier, S.1
Kowarschik, M.2
Horton, G.3
-
2
-
-
0011645599
-
Abstract Petri net notation
-
F. Bause, P. Kemper, and P. Kritzinger, "Abstract Petri net notation," Petri Net Newsletter, Vol. 49, pp. 9-27, 1995.
-
(1995)
Petri Net Newsletter
, vol.49
, pp. 9-27
-
-
Bause, F.1
Kemper, P.2
Kritzinger, P.3
-
3
-
-
0000887360
-
Transformation and decomposition of nets
-
G.Rozenberg (Ed.), Advances in Petri Nets 85, Springer, LNCS
-
G. Berthelot, "Transformation and decomposition of nets," in G.Rozenberg (Ed.), Advances in Petri Nets 85, Springer, 1986. LNCS, Vol. 254.
-
(1986)
LNCS
, vol.254
-
-
Berthelot, G.1
-
4
-
-
84938305621
-
Hierarchical high level Petri nets for complex system analysis
-
R. Valette (Ed.), Application and Theory of Petri Nets, Springer
-
P. Buchholz, "Hierarchical high level Petri nets for complex system analysis," in R. Valette (Ed.), Application and Theory of Petri Nets, Springer, 1994, pp. 119-138. LNCS, Vol. 815.
-
(1994)
LNCS
, vol.815
, pp. 119-138
-
-
Buchholz, P.1
-
5
-
-
0003107370
-
Markovian process algebra: Composition and equivalence
-
U. Herzog and M. Rettelbach (Eds.)
-
P. Buchholz, "Markovian process algebra: Composition and equivalence," in U. Herzog and M. Rettelbach (Eds.), Proc. 2nd Workshop on Process Algebras and Performance Modelling, 1994; Arbeitsberichte des IMMD, Vol. 27, No. 4, pp. 11-30, 1994.
-
(1994)
Proc. 2nd Workshop on Process Algebras and Performance Modelling, 1994; Arbeitsberichte des IMMD
, vol.27
, Issue.4
, pp. 11-30
-
-
Buchholz, P.1
-
6
-
-
0032666239
-
Hierarchical structuring of superposed GSPNs
-
P. Buchholz, "Hierarchical structuring of superposed GSPNs," IEEE Trans. on Softw. Eng., Vol. 25, No. 2, pp. 81-90, 1999.
-
(1999)
IEEE Trans. on Softw. Eng.
, vol.25
, Issue.2
, pp. 81-90
-
-
Buchholz, P.1
-
7
-
-
0033338997
-
Structured analysis approaches for large Markov chains
-
P. Buchholz, "Structured analysis approaches for large Markov chains," Applied Numerical Mathematics, Vol. 31, No. 4, pp. 375-404, 1999.
-
(1999)
Applied Numerical Mathematics
, vol.31
, Issue.4
, pp. 375-404
-
-
Buchholz, P.1
-
9
-
-
0002378592
-
On generating a hierarchy for GSPN analysis
-
P. Buchholz and P. Kemper, "On generating a hierarchy for GSPN analysis," ACM Performance Evaluation Review, Vol. 26, No. 2, pp. 5-14, 1998.
-
(1998)
ACM Performance Evaluation Review
, vol.26
, Issue.2
, pp. 5-14
-
-
Buchholz, P.1
Kemper, P.2
-
10
-
-
84957089899
-
A toolbox for the analysis of discrete event dynamic systems
-
N. Halbwachs and D. Peled (Eds.), Computer Aided Verification (CAV'99), Springer
-
P. Buchholz and P. Kemper, "A toolbox for the analysis of discrete event dynamic systems," in N. Halbwachs and D. Peled (Eds.), Computer Aided Verification (CAV'99), Springer, 1999, pp. 483-486, LNCS, Vol. 1633.
-
(1999)
LNCS
, vol.1633
, pp. 483-486
-
-
Buchholz, P.1
Kemper, P.2
-
11
-
-
0002137994
-
Efficient computation and representation of large reachability sets for composed automata
-
R. Boel and G. Stremersch (Eds.), Kluwer Academic
-
P. Buchholz and P. Kemper, "Efficient computation and representation of large reachability sets for composed automata," in R. Boel and G. Stremersch (Eds.), Discrete Event Systems Analysis and Control, Kluwer Academic, 2000, pp. 49-56.
-
(2000)
Discrete Event Systems Analysis and Control
, pp. 49-56
-
-
Buchholz, P.1
Kemper, P.2
-
13
-
-
0032657859
-
Structured solution of asynchronously communicating stochastic modules
-
J. Campos, S. Donatelli, and J. Silva, "Structured solution of asynchronously communicating stochastic modules," IEEE Trans. on Softw. Engineering, Vol. 25, No. 2, pp. 147-165, 1999.
-
(1999)
IEEE Trans. on Softw. Engineering
, vol.25
, Issue.2
, pp. 147-165
-
-
Campos, J.1
Donatelli, S.2
Silva, J.3
-
14
-
-
84956855188
-
Parallel state space exploration for GSPN models
-
G. De Michelis and M. Diaz (Eds.), Application and Theory of Petri Nets 1995, Springer
-
S. Caselli, G. Conte, and P. Marenzoni, "Parallel state space exploration for GSPN models," in G. De Michelis and M. Diaz (Eds.), Application and Theory of Petri Nets 1995, Springer, 1995, pp. 181-200, LNCS, Vol. 935.
-
(1995)
LNCS
, vol.935
, pp. 181-200
-
-
Caselli, S.1
Conte, G.2
Marenzoni, P.3
-
15
-
-
0031118259
-
A symbolic reachability graph for coloured Petri nets
-
G. Chiola, C. Dutheillet, G. Franceschini, and S. Haddad, "A symbolic reachability graph for coloured Petri nets," Theoretical Computer Science, Vol. 176, pp. 39-65, 1997.
-
(1997)
Theoretical Computer Science
, vol.176
, pp. 39-65
-
-
Chiola, G.1
Dutheillet, C.2
Franceschini, G.3
Haddad, S.4
-
17
-
-
84956854942
-
Modular state space analysis of coloured Petri nets
-
G. De Michelis and M. Diaz (Eds.), Application and Theory of Petri Nets, Springer
-
S. Christensen and L. Petrucci, "Modular state space analysis of coloured Petri nets," in G. De Michelis and M. Diaz (Eds.), Application and Theory of Petri Nets, Springer, 1995, pp. 201-217, LNCS, Vol. 935.
-
(1995)
LNCS
, vol.935
, pp. 201-217
-
-
Christensen, S.1
Petrucci, L.2
-
18
-
-
84903156410
-
Saturation: An efficient iteration strategy for symbolic state-space generation
-
T. Margaria and W. Yi (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Springer
-
G. Ciardo, G. Luettgen, and R. Siminiceanu, "Saturation: An efficient iteration strategy for symbolic state-space generation," in T. Margaria and W. Yi (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Springer, 2001, pp. 328-342, LNCS, Vol. 2031.
-
(2001)
LNCS
, vol.2031
, pp. 328-342
-
-
Ciardo, G.1
Luettgen, G.2
Siminiceanu, R.3
-
19
-
-
77954562220
-
Storage alternatives for large structured state spaces
-
R. Marie, B. Plateau, M. Calzarossa, and G. Rubino (Eds.), Proc. 9th Int. Conf. Modelling Techniques and Tools for Computer Performance Evaluation, St. Malo, France, 1997, Springer
-
G. Ciardo and A.S. Miner, "Storage alternatives for large structured state spaces," in R. Marie, B. Plateau, M. Calzarossa, and G. Rubino (Eds.), Proc. 9th Int. Conf. Modelling Techniques and Tools for Computer Performance Evaluation, St. Malo, France, 1997, Springer, 1997, pp. 44-57. LNCS, Vol. 1245.
-
(1997)
LNCS
, vol.1245
, pp. 44-57
-
-
Ciardo, G.1
Miner, A.S.2
-
20
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
E.M. Clarke, E.A. Emerson, and A.P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, pp. 244-263, 1986.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
21
-
-
0027342054
-
The concurrency workbench: A semantics based tool for the verification of concurrent systems
-
R. Cleaveland, J. Parrow, and B. Steffen, "The concurrency workbench: A semantics based tool for the verification of concurrent systems," ACM Transactions on Programming Languages and Systems, Vol. 15, No. 1, pp. 36-72, 1993.
-
(1993)
ACM Transactions on Programming Languages and Systems
, vol.15
, Issue.1
, pp. 36-72
-
-
Cleaveland, R.1
Parrow, J.2
Steffen, B.3
-
22
-
-
0019530364
-
Kronecker products and shuffle algebra
-
M. Davio, "Kronecker products and shuffle algebra" IEEE Trans. on Comp., Vol. 30, pp. 116-125, 1981.
-
(1981)
IEEE Trans. on Comp.
, vol.30
, pp. 116-125
-
-
Davio, M.1
-
23
-
-
84977510484
-
Superposed generalized stochastic Petri nets: Definition and efficient solution
-
R. Valette (Ed.), Application and Theory of Petri Nets, Springer
-
S. Donatelli, "Superposed generalized stochastic Petri nets: Definition and efficient solution," in R. Valette (Ed.), Application and Theory of Petri Nets, Springer, 1994, LNCS, Vol. 815.
-
(1994)
LNCS
, vol.815
-
-
Donatelli, S.1
-
24
-
-
0027577622
-
Using partial orders for the efficient verification of deadlock freedom and safety properties
-
P. Godefroid and P. Wolper, "Using partial orders for the efficient verification of deadlock freedom and safety properties," Formal Methods in System Design, Vol. 2, pp. 149-164, 1993.
-
(1993)
Formal Methods in System Design
, vol.2
, pp. 149-164
-
-
Godefroid, P.1
Wolper, P.2
-
25
-
-
0001604983
-
A reduction theory for coloured Petri nets
-
G. Rozenberg (Ed.), Advances in Petri Nets 1989, Springer
-
S. Haddad, "A reduction theory for coloured Petri nets," in G. Rozenberg (Ed.), Advances in Petri Nets 1989, Springer, 1990, pp. 209-235. LNCS, Vol. 424.
-
(1990)
LNCS
, vol.424
, pp. 209-235
-
-
Haddad, S.1
-
27
-
-
0011526962
-
A case study in developing control software on manufacturing systems
-
M. Silva, R. Valette, and K. Takahashi (Eds.), Osaka, Japan
-
M. Heiner, P. Deussen, and J. Spranger, "A case study in developing control software on manufacturing systems," in M. Silva, R. Valette, and K. Takahashi (Eds.), Workshop on Manufacturing and Petri nets, within 17th Int. Conf. Application and Theory of Petri Nets, Osaka, Japan, 1996.
-
(1996)
Workshop on Manufacturing and Petri nets, within 17th Int. Conf. Application and Theory of Petri Nets
-
-
Heiner, M.1
Deussen, P.2
Spranger, J.3
-
30
-
-
0000098171
-
Coloured Petri nets and the invariant method
-
K. Jensen, "Coloured Petri nets and the invariant method," Theor. Comp. Sci., Vol. 14, pp. 317-336, 1981.
-
(1981)
Theor. Comp. Sci.
, vol.14
, pp. 317-336
-
-
Jensen, K.1
-
31
-
-
0003277884
-
Coloured Petri nets
-
Springer
-
K. Jensen, "Coloured Petri nets," Vol. 1; Springer, EATCS Monographs (1992).
-
(1992)
EATCS Monographs
, vol.1
-
-
Jensen, K.1
-
32
-
-
84957617331
-
Reachability analysis based on structured representations
-
J. Billington and W. Reisig (Eds.), Application and Theory of Petri Nets 1996. Springer
-
P. Kemper, "Reachability analysis based on structured representations," in J. Billington and W. Reisig (Eds.), Application and Theory of Petri Nets 1996. Springer, 1996, pp. 269-288. LNCS, Vol. 1091.
-
(1996)
LNCS
, vol.1091
, pp. 269-288
-
-
Kemper, P.1
-
33
-
-
0003442287
-
Formal developmentreactive systems
-
Springer
-
C. Lewerentz and T. Lindner (Eds.), "Formal developmentreactive systems," Springer, 1995, LNCS, Vol. 891.
-
(1995)
LNCS
, vol.891
-
-
Lewerentz, C.1
Lindner, T.2
-
34
-
-
0030677057
-
Analysis of large GSPN models: A distributed solution tool
-
IEEE CS Press
-
P. Marenzoni, S. Caselli, and G. Conte, "Analysis of large GSPN models: A distributed solution tool," in. Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), IEEE CS Press, 1997, pp. 122-131.
-
(1997)
Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97)
, pp. 122-131
-
-
Marenzoni, P.1
Caselli, S.2
Conte, G.3
-
35
-
-
0000204625
-
A simple and fast algorithm to obtain all invariants of a generalized Petri net
-
Springer, IFB 52
-
J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of a generalized Petri net," in Application and Theory of Petri Nets 1981, Springer, IFB 52, 1981.
-
(1981)
Application and Theory of Petri Nets 1981
-
-
Martinez, J.1
Silva, M.2
-
37
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
T. Murata, "Petri nets: Properties, analysis and applications," Proc. of the IEEE, Vol. 77, pp. 541-580, 1989.
-
(1989)
Proc. of the IEEE
, vol.77
, pp. 541-580
-
-
Murata, T.1
-
38
-
-
0031574534
-
Automated parallelization of discrete state-space generation
-
D. Nicol and G. Ciardo, "Automated parallelization of discrete state-space generation," Journal of Parallel and Distributed Computing, Vol. 47, pp. 153-167, 1997.
-
(1997)
Journal of Parallel and Distributed Computing
, vol.47
, pp. 153-167
-
-
Nicol, D.1
Ciardo, G.2
-
39
-
-
0028433698
-
Hierarchical reachability graph generation of bounded Petri nets for concurrent-software analysis
-
M. Notomi and T. Murata, "Hierarchical reachability graph generation of bounded Petri nets for concurrent-software analysis," IEEE Trans. on Softw. Eng., Vol. 20, pp. 325-336, 1994.
-
(1994)
IEEE Trans. on Softw. Eng.
, vol.20
, pp. 325-336
-
-
Notomi, M.1
Murata, T.2
-
40
-
-
84994842734
-
Petri net analysis using Boolean manipulation
-
R. Valette (Ed.), Application and Theory of Petri Nets 1994, Springer
-
E. Pastor, O. Roig, J. Cortadella, and R.M. Badia, "Petri net analysis using Boolean manipulation" in R. Valette (Ed.), Application and Theory of Petri Nets 1994, Springer, 1994. LNCS, Vol. 815.
-
(1994)
LNCS
, vol.815
-
-
Pastor, E.1
Roig, O.2
Cortadella, J.3
Badia, R.M.4
-
41
-
-
0000060441
-
A survey of equivalence relations for net based systems
-
G. Rozenberg (Ed.), Advances in Petri Nets 1992, Springer
-
L. Pomello, G. Rozenberg, and C. Simone, "A survey of equivalence relations for net based systems," in G. Rozenberg (Ed.), Advances in Petri Nets 1992, Springer, 1992, pp. 410-472. LNCS, Vol. 609.
-
(1992)
LNCS
, vol.609
, pp. 410-472
-
-
Pomello, L.1
Rozenberg, G.2
Simone, C.3
-
43
-
-
0011659214
-
A class of modular and hierarchical cooperating systems
-
{SC}* ECS: J. Billington and W. Reisig (Eds.), Application and Theory of Petri Nets 1996, Springer
-
L. Recalde, E. Teruel, and M. Silva; {SC}* ECS: "A class of modular and hierarchical cooperating systems." in J. Billington and W. Reisig (Eds.), Application and Theory of Petri Nets 1996, Springer, 1996, pp. 440-459. LNCS, Vol. 1091.
-
(1996)
LNCS
, vol.1091
, pp. 440-459
-
-
Recalde, L.1
Teruel, E.2
Silva, M.3
-
44
-
-
33746350081
-
Application and Theory of Petri Nets
-
Springer
-
R. Valette (Ed.), Application and Theory of Petri Nets, Springer, 1994. LNCS, Vol. 815.
-
(1994)
LNCS
, vol.815
-
-
Valette, R.1
-
45
-
-
0007960263
-
Compositional analysis with place bordered subnets
-
R. Valette (Ed.), Application and Theory of Petri Nets, Springer
-
A. Valmari, "Compositional analysis with place bordered subnets" in R. Valette (Ed.), Application and Theory of Petri Nets, Springer, 1994, pp. 531-547. LNCS, Vol. 815.
-
(1994)
LNCS
, vol.815
, pp. 531-547
-
-
Valmari, A.1
-
46
-
-
0011590722
-
State of the art report: Stubborn sets
-
A. Valmari, "State of the art report: Stubborn sets," Petri Net Newsletter, Vol. 46, pp. 6-14, 1994.
-
(1994)
Petri Net Newsletter
, vol.46
, pp. 6-14
-
-
Valmari, A.1
|