Structural analysis of petri nets with batch processing arcs

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn , Issue , 2006, Pages 4475-4478

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

^a AICHI PREFECTURAL UNIVERSITY   (Japan)

^b NISSAN MOTOR CO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

BATCH PROCESSING ARC;

BATCH DATA PROCESSING; CONCURRENT ENGINEERING; TURING MACHINES;

PETRI NETS;

EID: 34547335141     PISSN: 02714310     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, vol. 77, no. 4, pp. 541-580, 1989.
2. "Renew(the reference net workshop)" [Online]. Available: http://www.renew.de/
3. A. Ohta, C. Kato, and K. Tsuji, "Analysis of Petri nets with batch processing arcs," in Proc. SICE Annual Conference, 2004, pp. 517-520.
4. N. D. Jones, L. H. Landweber, and Y. E. Lien, "Complexity of some problems in Petri nets," Theoretical Computer Science, vol. 4, pp. 277-299, 1977.
5. J. O. Moody, P. J. Antsaklis, and M. D. Lemmon, "Petri net feedback controller design for a manufacturing system," in Proc. IFAC 13th Triennial World Congress, San Francisco, USA, 1996, pp. 67-72.