Analysis of the operational petri nets by a distributed system

Modern Problems of Radio Engineering, Telecommunications and Computer Science. Proceedings of the International Conference TCSET'2004

Volumn , Issue , 2004, Pages 319-322

  Karatkevich, Andrei G ^a   Gratkowski, Tomasz ^a  

^a UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

Distributed systems; Java; JPVM; Operational Petri nets; Simulation

Indexed keywords

COMPUTER NETWORKS; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; PARALLEL ALGORITHMS; SET THEORY; VIRTUAL REALITY; XML;

DOCUMENT TYPE DEFINITION (DTD); JAVA PARALLEL VIRTUAL MACHINES (JPVM); MULTITHREADING; OPERATIONAL PETRI NETS;

PETRI NETS;

EID: 17144376459     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. M. Adamski, Z. Skowroński, "Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprocesorowych systemów sprz̧etowoprogramowych," PAK, luty-marzec 2003, str.17-20.
2. A. Karatkevich, A. Zakrevskij, "Analysis of Petri Nets by means of Concurrent Simulation," in Int. conference PARELEC'2002, IEEE, Warsaw, Poland, Sept. 2002; pp. 87-91.
3. R. W. Lewis, "Programming Industrial Control Systems Using IEC 1131-3," IEE, London, 1995.
4. T. Murata, "Petri Nets: Properties, Analysis and Applications, " Proceedings of the IEEE, vol. 77, pp.548-580, Apr. 1989.
5. C. L. McLeary, J. J. Tompson, D. G. Hill and others, "Partitioning and Scheduling Using Graph Decomposition"
6. A. Zakrevskij, A. Karatkevich and M. Adamski, "A Method of Analysis of Operational Petri Nets," in ACS'2001, Okt. 2001, Kluwer Academic Publishers, Boston, 2002, pp. 449-460.
7. A. J. Ferrari "JPVM: Network Parallel Computing in Java", Technical Report CS-97-29, Department of Computer Science University of Virginia, 1997
8. A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, V. Sunderam, JPVM: Parallel Virtual Machine. A Users' Guide and Tutorial for Networked Parallel Computing, Massachusetts Institute of Technology Press, 1994
9. A. W̧egrzyn, P. Bubacz, "XML format for high-level Petri net" in Advanced Computer Systems - ACS 2001, Szczecin, Poland, 2001 - Part 2, pp. 269-278.