Scheschonk, G., Timpe, M.: Simulation and Analysis of a Document Storage System. In: Valette, R. (ed.): Proceedings of ICATPN' 94. LNCS 815. Berlin, Heidelberg, New York: Springer-Verlag, 1994 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modelling and Analysis of Railway Network Control Logic using.. - Janczura (1998) (Correct)
.... for modelling and analysis, ffl emergence of international standards [11] Petri nets and CPNs, together with their associated analysis techniques have been applied to model and analyse a range of systems, including military systems [99, 8, 37, 56] security systems [92] document storage systems [97], an arbiter cascade [44] and a nuclear waste management system [79] A comprehensive discussion of a selection of practical applications of coloured Petri nets is provided by Jensen [65] The literature on modelling and analyzing railway systems using Petri nets and CPNs is not extensive. The ....
G. Scheschonk and M. Timpe. Simulation and analysis of a document storage system. In R. Vallette, editor, Application and Theory of Petri Nets 1994, Proceedings of the 15th International Petri Nets Conference, pages 454--470. Lecture Notes in Computer Science, vol. 815, Springer Verlag, 1994.
Capacity Planning of Web Servers using Timed.. - Christensen.. (1999) (Correct)
.... of application areas and many projects have been carried out in industry [17] and documented in the literature, e.g. in the areas of communication protocols [11, 14] audio video systems [6] operating systems [3, 4] hardware designs [12, 28] embedded systems [26] software system designs [19, 27], and business process re engineering [22, 25] The development of CP nets has been driven by the desire to develop an industrial strength modelling language at the same time theoretically well founded and versatile enough to be used in practice for systems of the size and complexity found in ....
G. Scheschonk and M. Timpe. Simulation and Analysis of a Document Storage System. In R. Valette, editor, Proceedings of ICATPN'94, volume 815 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
Analysing Coloured Petri Nets by the Occurrence Graph Method - Jørgensen (Correct)
....with systems design and analysis. In the nineties, many CPN projects were carried out in the industry and documented in the literature, e.g. in the areas of communication protocols [20, 30, 42] operating systems [12, 13] hardware designs [35, 82] embedded systems [73] software systems designs [62, 77], and business process re engineering [66, 71] Alongside with definition of the basic formalisms of Petri Nets and Highlevel Petri Nets, a set of verification methods was developed. A verification method allows dynamic properties of a model to be formally proved. However, for models of real world ....
G. Scheschonk and M. Timpe. Simulation and Analysis of a Document Storage System. In R. Valette, editor, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, volume 815 of Lecture Notes in Computer Science. SpringerVerlag, 1994.
Design/CPN - A Computer Tool for Coloured Petri Nets - Christensen, Jørgensen.. (Correct)
....of systems. CP nets have a wide range of application areas and many projects have been carried out in the industry and documented in the literature, e.g. in the areas of communication protocols [6] operating systems [3] hardware designs [7] embedded systems [17] software system designs [18], and business process re engineering [16] The first graphical computer tool supporting CP nets emerged in 1989, the editor and simulator Design CPN [10] The tool is developed in close cooperation between Meta Software Corporation, Cambridge, Massachusetts, and the CPN group at University of ....
G. Scheschonk and M. Timpe. Simulation and Analysis of a Document Storage System. In R. Valette, editor, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, volume 815 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
The practitioner's guide to coloured Petri nets - Kristensen, Christensen, Jensen (1998) (9 citations) (Correct)
No context found.
Scheschonk, G., Timpe, M.: Simulation and Analysis of a Document Storage System. In: Valette, R. (ed.): Proceedings of ICATPN' 94. LNCS 815. Berlin, Heidelberg, New York: Springer-Verlag, 1994
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC