-
1
-
-
0005439729
-
Stochastic Petri nets: An elementary introduction
-
edited by G. Rozenberg (Heidelberg: Springer Verlag)
-
Ajmone Marsan, M., 1990, Stochastic Petri nets: an elementary introduction. In Advances in Petri Nets 1989, Lecture Notes in Computer Science, Vol. 424, edited by G. Rozenberg (Heidelberg: Springer Verlag), pp. 1-29.
-
(1990)
Advances in Petri Nets 1989, Lecture Notes in Computer Science
, vol.424
, pp. 1-29
-
-
Ajmone Marsan, M.1
-
2
-
-
84976753721
-
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
-
Ajmone Marsan, M., Balbo, G. and Conte, G., 1984, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2, 93-122.
-
(1984)
ACM Transactions on Computer Systems
, vol.2
, pp. 93-122
-
-
Ajmone Marsan, M.1
Balbo, G.2
Conte, G.3
-
3
-
-
0003206544
-
Petri nets in automation and manufacturing
-
edited by G. N. Saridis (New York: JAI Press)
-
Al-Jaar, R. Y. and Desrochers, A. A., 1990, Petri nets in automation and manufacturing. In Advances in Automation and Robotics, Vol. 2, edited by G. N. Saridis (New York: JAI Press).
-
(1990)
Advances in Automation and Robotics
, vol.2
-
-
Al-Jaar, R.Y.1
Desrochers, A.A.2
-
4
-
-
0028465983
-
Approximate throughput computation of stochastic marked graphs
-
Campos, J., Colom, J. M. and Silva, M., 1994, Approximate throughput computation of stochastic marked graphs. IEEE Transactions on Software Engineering, 20, 526-535.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, pp. 526-535
-
-
Campos, J.1
Colom, J.M.2
Silva, M.3
-
5
-
-
0027540587
-
Generalized stochastic Petri nets: A definition at the net level and its implications
-
Chiola, G., Ajmone Marsan, M., Balbo, G. and Conte, G., 1993, Generalized stochastic Petri nets: a definition at the net level and its implications. IEEE Transactions on Software Engineering, 19, 89-107.
-
(1993)
IEEE Transactions on Software Engineering
, vol.19
, pp. 89-107
-
-
Chiola, G.1
Ajmone Marsan, M.2
Balbo, G.3
Conte, G.4
-
6
-
-
0028465894
-
A characterization of the stochastic process underlying a stochastic Petri net
-
Ciardo, G., German, R. and Lindemann, C., 1994, A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engineering, 20, 506-515.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, pp. 506-515
-
-
Ciardo, G.1
German, R.2
Lindemann, C.3
-
7
-
-
0001896749
-
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows
-
edited by G. Rozenberg (Heidelberg: Springer-Verlag)
-
Colom, J. M. and Silva, M., 1991, Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. In Advances in Petri Nets 1990, Lecture Notes in Computer Science, Vol. 483, edited by G. Rozenberg (Heidelberg: Springer-Verlag), pp. 79-112.
-
(1991)
Advances in Petri Nets 1990, Lecture Notes in Computer Science
, vol.483
, pp. 79-112
-
-
Colom, J.M.1
Silva, M.2
-
8
-
-
0029373108
-
GRAFCET-a powerful tool for specification of logic controllers
-
David, R., 1995, GRAFCET-a powerful tool for specification of logic controllers. IEEE Transactions on Control Systems Technology, 3, 253-268.
-
(1995)
IEEE Transactions on Control Systems Technology
, vol.3
, pp. 253-268
-
-
David, R.1
-
10
-
-
0031168484
-
Automatic synthesis of colored Petri nets for the control of FMS
-
Ezpeleta, J. and Colom, J. M., 1997, Automatic synthesis of colored Petri nets for the control of FMS. IEEE Transactions on Robotics and Automation, 13, 327-337.
-
(1997)
IEEE Transactions on Robotics and Automation
, vol.13
, pp. 327-337
-
-
Ezpeleta, J.1
Colom, J.M.2
-
11
-
-
0010910287
-
A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets
-
edited by G. Rozenberg (Heidelberg: Springer-Verlag)
-
Ezpeleta, J., Couvreur, J. M. and Silva, M., 1993, A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets. In Advances in Petri Nets 1993, Lecture Notes in Computer Science, Vol. 674, edited by G. Rozenberg) (Heidelberg: Springer-Verlag), pp. 126-147.
-
(1993)
Advances in Petri Nets 1993, Lecture Notes in Computer Science
, vol.674
, pp. 126-147
-
-
Ezpeleta, J.1
Couvreur, J.M.2
Silva, M.3
-
12
-
-
0010851595
-
An approach for modelling, analysis and real-time control of flexible manufacturing systems using Petri nets
-
(Erlangen: The Society for Computer Simulation Internation (SCS))
-
Feldmann, K., Colombo, W. and Schnur, C., 1995, An approach for modelling, analysis and real-time control of flexible manufacturing systems using Petri nets. Proceedings of the European Simulation Symposium, Erlangen-Nürnberg (Erlangen: The Society for Computer Simulation Internation (SCS)), pp. 661-665.
-
(1995)
Proceedings of the European Simulation Symposium, Erlangen-Nürnberg
, pp. 661-665
-
-
Feldmann, K.1
Colombo, W.2
Schnur, C.3
-
13
-
-
0010779672
-
Extending a response time approximation technique to colored stochastic Petri nets
-
Freiheit, J. and Zimmermann, A., 1998, Extending a response time approximation technique to colored stochastic Petri nets. Proceedings of the 4th International Workshop on Performability Modelling of Computer and Communication Systems (PMCCS), College of William and Mary, Williamsburg, VA, pp. 67-71.
-
(1998)
Proceedings of the 4th International Workshop on Performability Modelling of Computer and Communication Systems (PMCCS), College of William and Mary, Williamsburg, VA
, pp. 67-71
-
-
Freiheit, J.1
Zimmermann, A.2
-
14
-
-
0010843657
-
Analysis of stochastic Petri nets with non-exponentially distributed firing times
-
Dissertation, Technische Universität Berlin
-
German, R., 1994, Analysis of stochastic Petri nets with non-exponentially distributed firing times. Dissertation, Technische Universität Berlin.
-
(1994)
-
-
German, R.1
-
15
-
-
0010916430
-
TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets
-
German, R., Kelling, C., Zimmermann, A. and Hommel, G., 1995, TimeNET-A toolkit for evaluating non-Markovian stochastic Petri nets. Performance Evaluation, 24, 69-87.
-
(1995)
Performance Evaluation
, vol.24
, pp. 69-87
-
-
German, R.1
Kelling, C.2
Zimmermann, A.3
Hommel, G.4
-
16
-
-
0010910507
-
Petri net based system analysis without state explosion
-
(Boston, MA: SCS)
-
Heiner, M., 1998, Petri net based system analysis without state explosion. Proceedings of High Performance Computing '98 (Boston, MA: SCS), pp. 394-403.
-
(1998)
Proceedings of High Performance Computing '98
, pp. 394-403
-
-
Heiner, M.1
-
17
-
-
0031118870
-
A survey of Petri net methods for controlled discrete event systems
-
Holloway, L. E., Krogh, B. H. and Giua, A., 1997, A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 7, 151-190.
-
(1997)
Discrete Event Dynamic Systems: Theory and Applications
, vol.7
, pp. 151-190
-
-
Holloway, L.E.1
Krogh, B.H.2
Giua, A.3
-
18
-
-
0000332216
-
Controlled Petri nets: A tutorial overview
-
edited by G. Cohen and J.-P. Quadrat (Heidelberg: Springer-Verlag)
-
Holloway, L. E. and Krogh, B. H., 1994, Controlled Petri nets: a tutorial overview. In 11th International Conference on Analysis and Optimization of Systems, Lecture Notes in Control and Information Sciences, Vol. 199, edited by G. Cohen and J.-P. Quadrat (Heidelberg: Springer-Verlag), pp. 158-168.
-
(1994)
11th International Conference on Analysis and Optimization of Systems, Lecture Notes in Control and Information Sciences
, vol.199
, pp. 158-168
-
-
Holloway, L.E.1
Krogh, B.H.2
-
19
-
-
0010842553
-
Convex geometry applied to Petri nets: State space size estimation and calculation of traps, siphons, and invariants
-
Technical Report 2000-6, Technische Universität Berlin
-
Huck, A., Freiheit, J. and Zimmermann, A., 2000, Convex geometry applied to Petri nets: state space size estimation and calculation of traps, siphons, and invariants. Technical Report 2000-6, Technische Universität Berlin.
-
(2000)
-
-
Huck, A.1
Freiheit, J.2
Zimmermann, A.3
-
21
-
-
0023745597
-
Real time control of multilevel manufacturing systems using colored Petri nets
-
(Piscataway, NJ: IEEE)
-
Kasturia, E., DiCesare, F. and Desrochers, A. A., 1988, Real time control of multilevel manufacturing systems using colored Petri nets. Proceedings of the International Conference on Robotics and Automation (Piscataway, NJ: IEEE), pp. 1114-1119.
-
(1988)
Proceedings of the International Conference on Robotics and Automation
, pp. 1114-1119
-
-
Kasturia, E.1
DiCesare, F.2
Desrochers, A.A.3
-
22
-
-
0010778325
-
Simulationsverfahren für zeiterweiterte Petri-Netze
-
Dissertation, Technische Universität Berlin (Erlangen: The Society for Computer Simulation International)
-
Kelling, C., 1995, Simulationsverfahren für zeiterweiterte Petri-Netze. Dissertation, Technische Universität Berlin (Erlangen: The Society for Computer Simulation International).
-
(1995)
-
-
Kelling, C.1
-
23
-
-
0023214085
-
Modelling, validation and software implementation of production systems using high level Petri nets
-
(Piscataway, NJ: IEEE)
-
Martínez, J., Muro, P. and Silva, M., 1987, Modelling, validation and software implementation of production systems using high level Petri nets. In Proceedings of the International Conference on Robotics and Automation, Raleigh, North Carolina (Piscataway, NJ: IEEE), pp. 1180-1185.
-
(1987)
Proceedings of the International Conference on Robotics and Automation, Raleigh, North Carolina
, pp. 1180-1185
-
-
Martínez, J.1
Muro, P.2
Silva, M.3
-
24
-
-
0021557362
-
A language for the description of concurrent systems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems
-
Martínez, J. and Silva, M., 1984, A language for the description of concurrent systems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. Proceedings of the 1984 IEEE Workshop on Languages for Automation, New Orleans, pp. 72-77.
-
(1984)
Proceedings of the 1984 IEEE Workshop on Languages for Automation, New Orleans
, pp. 72-77
-
-
Martínez, J.1
Silva, M.2
-
25
-
-
0010843875
-
A response time approximation technique for stochastic general P/T systems
-
(New Brunswick: International Association for Mathematics and Computers in Simulation)
-
Pérez-Jiménez, C. J. and Campos, J. 1998, A response time approximation technique for stochastic general P/T systems. Proceedings of the Symposium on Industrial and Manufacturing Systems, 2nd IMACS International Multiconference on Computational Engineering in Systems Applications (CESA '98), Nabeul-Hammamet, Tunisia (New Brunswick: International Association for Mathematics and Computers in Simulation).
-
(1998)
Proceedings of the Symposium on Industrial and Manufacturing Systems, 2nd IMACS International Multiconference on Computational Engineering in Systems Applications (CESA '98), Nabeul-Hammamet, Tunisia
-
-
Pérez-Jiménez, C.J.1
Campos, J.2
-
26
-
-
0029695524
-
State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes
-
(Piscataway, NJ: IEEE)
-
Pérez-Jiménez, C. J., Campos, J. and Silva, M., 1996, State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes. 1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota (Piscataway, NJ: IEEE), pp. 1159-1165.
-
(1996)
1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota
, pp. 1159-1165
-
-
Pérez-Jiménez, C.J.1
Campos, J.2
Silva, M.3
-
27
-
-
0031380765
-
Petri nets for the design and operation of manufacturing systems
-
Silva, M. and Teruel, E., 1997, Petri nets for the design and operation of manufacturing systems. European Journal of Control, 3, 182-199.
-
(1997)
European Journal of Control
, vol.3
, pp. 182-199
-
-
Silva, M.1
Teruel, E.2
-
28
-
-
0001153857
-
Petri nets and flexible manufacturing
-
edited by G. Rozenberg (Heidelberg: Springer Verlag, 1989)
-
Silva, M. and Valette, R., 1989, Petri nets and flexible manufacturing. In Advances in Petri Nets 1989, Lecture Notes in Computer Science, Vol. 424, edited by G. Rozenberg (Heidelberg: Springer Verlag, 1989), 374-417.
-
(1989)
Advances in Petri Nets 1989, Lecture Notes in Computer Science
, vol.424
, pp. 374-417
-
-
Silva, M.1
Valette, R.2
-
29
-
-
0010844099
-
GRAMAN: A graphic system for manufacturing system design
-
edited by S. Tzafestas (Amsterdam: Elsevier)
-
Villaroel, J. L., Martínez, J. and Silva M., 1989, GRAMAN: a graphic system for manufacturing system design. IMACS Symposium on System Modelling and Simulation, edited by S. Tzafestas (Amsterdam: Elsevier), pp. 311-316.
-
(1989)
IMACS Symposium on System Modelling and Simulation
, pp. 311-316
-
-
Villaroel, J.L.1
Martínez, J.2
Silva, M.3
-
30
-
-
0023211245
-
Coloured Petri net models for automated manufacturing systems
-
Viswanadham, N. and Narahari, Y., 1987, Coloured Petri net models for automated manufacturing systems. Proceedings of the International Conference on Robotics and Automation, Raleigh, North Carolina, pp. 1985-1990.
-
(1987)
Proceedings of the International Conference on Robotics and Automation, Raleigh, North Carolina
, pp. 1985-1990
-
-
Viswanadham, N.1
Narahari, Y.2
-
31
-
-
0010775862
-
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
-
Dissertation, Technische Universität Berlin
-
Zimmermann, A., 1997, Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen. Dissertation, Technische Universität Berlin.
-
(1997)
-
-
Zimmermann, A.1
-
32
-
-
0000715136
-
Performance and dependability evaluation of manufacturing systems using Petri nets
-
Zimmermann, A., Bode, S. and Hommel, G. 1996a, Performance and dependability evaluation of manufacturing systems using Petri nets. 1st Workshop on Manufacturing Systems and Petri Nets, 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, pp. 235-250.
-
(1996)
1st Workshop on Manufacturing Systems and Petri Nets, 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan
, pp. 235-250
-
-
Zimmermann, A.1
Bode, S.2
Hommel, G.3
-
33
-
-
0010775864
-
A case study in modelling and performance evaluation of manufacturing systems using colored Petri nets
-
Zimmermann, A., Dalkowski, K. and Hommel, G., 1996b, A case study in modelling and performance evaluation of manufacturing systems using colored Petri nets. Proceedings of the 8th European Simulation Symposium, Genoa, Italy, pp. 282-286.
-
(1996)
Proceedings of the 8th European Simulation Symposium, Genoa, Italy
, pp. 282-286
-
-
Zimmermann, A.1
Dalkowski, K.2
Hommel, G.3
-
34
-
-
0032254996
-
TimeNETms-an integrated modelling and performance evaluation tool for manufacturing systems
-
(Piscataway, NJ: IEEE)
-
Zimmermann, A. and Freiheit, J., 1998, TimeNETms-an integrated modelling and performance evaluation tool for manufacturing systems. IEEE International Conference on Systems, Man, and Cybernetics, San Diego, USA (Piscataway, NJ: IEEE), pp. 535-540.
-
(1998)
IEEE International Conference on Systems, Man, and Cybernetics, San Diego, USA
, pp. 535-540
-
-
Zimmermann, A.1
Freiheit, J.2
-
35
-
-
84958773306
-
Petri net modelling and performability evaluation with TimeNET 3.0
-
edited by B. Haverkort, H. Bohnenkamp and C. Smith
-
Zimmermann, A., Freiheit, J., German, R. and Hommel, G., 2000, Petri net modelling and performability evaluation with TimeNET 3.0. In 11th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Schaumburg, Illinois, Lecture Notes in Computer Science, Vol. 1786, edited by B. Haverkort, H. Bohnenkamp and C. Smith, pp. 188-202.
-
(2000)
11th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Schaumburg, Illinois, Lecture Notes in Computer Science
, vol.1786
, pp. 188-202
-
-
Zimmermann, A.1
Freiheit, J.2
German, R.3
Hommel, G.4
-
36
-
-
0032637928
-
Modelling and evaluation of manufacturing systems using dedicated Petri nets
-
Zimmermann, A. and Hommel, G., 1999, Modelling and evaluation of manufacturing systems using dedicated Petri nets. International Journal of Advanced Manufacturing Technology, 15, pp. 132-137.
-
(1999)
International Journal of Advanced Manufacturing Technology
, vol.15
, pp. 132-137
-
-
Zimmermann, A.1
Hommel, G.2
-
37
-
-
0010843666
-
A modelling and analysis method for manufacturing systems based on Petri nets
-
Nabeul-Hammamet, Tunisia
-
Zimmermann, A., Kühnel, A. and Hommel, G., 1998, A modelling and analysis method for manufacturing systems based on Petri nets. Computational Engineering in Systems Applications (CESA '98), Nabeul-Hammamet, Tunisia, 276-281.
-
(1998)
Computational Engineering in Systems Applications (CESA '98)
, pp. 276-281
-
-
Zimmermann, A.1
Kühnel, A.2
Hommel, G.3
|