Analysis of Petri nets with batch processing arcs

Proceedings of the SICE Annual Conference

Volumn , Issue , 2004, Pages 675-678

  Ohta, Atsushi ^a   Kato, Chihiro ^b   Tsuji, Kohkichi ^a  

^a AICHI PREFECTURAL UNIVERSITY   (Japan)

^b NISSAN MOTOR CO   (Japan)

Author keywords

Discrete event system; Liveness; Petri net; Turing machine

Indexed keywords

BATCH DATA PROCESSING; COMPUTER SIMULATION; CONTROL EQUIPMENT; ELECTRIC ARCS; PROBLEM SOLVING; TURING MACHINES;

DISCRETE EVENT SYSTEMS (DES); HALTING PROBLEMS; LIVENESS; PRODUCTION SYSTEM;

PETRI NETS;

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

References (5)

1. T. Murata, "Petri nets: properties, analysis and applications, " Proc. IEEE. 77-4, 541/580, (1989).
2. "Renew(The Reference Net Workshop)," http://www.renew.de/
3. C. Kato, A. Ohta and K. Tsuji, "Modeling power of Petri nets with batch processing arcs," IEICE Technical Report, 103-405, 67/70, (2003) in Japanese.
4. A. Ohta, C. Kato and K. Tsuji, "Place invariants of Petri nets with batch processing arcs," IEICE Technical Report, 103-634, 31/34, (2004) in Japanese.
5. N. D. Jones, L. H. Landweber and Y. E. Lien: Complexity of Some Problems in Petri Nets, Theoretical Computer Science, 4, 277/299, (1977).