Temporal Petri nets model of concurrent systems

Computer Systems Science and Engineering

Volumn 17, Issue 6, 2002, Pages 353-358

  Ding, Zhijun ^a   Jiang, Changjun ^b  

^a TONGJI UNIVERSITY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Dining philosopher's problem; Petri net; Temporal logical

Indexed keywords

CONCURRENT ENGINEERING; DYNAMIC PROGRAMMING; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

DINING PHILOSOPHER PROBLEM; TEMPORAL LOGIC; TEMPORAL PETRI NETS MODEL;

TIME SHARING SYSTEMS;

EID: 0038638916     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. I. Suzuki, "Fundamental properties and application of temporal Petri nets", in Proc. 9th Annu. Conf. Information Sciences and Systems, Johns Hopkins Univ, Baltimore, MD, 1985, pp 641-646.
2. I. Suzuki and H. Lu, "Temporal Petri Nets and their application to modeling and analysis of a handshake daisy chain arbiter", IEEE Trans. Comput., vol C-38, no. 5, pp 696-704, 1989.
3. I. Suzuki, "Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets", IEEE Transactions on Software Engineering, vol 16, no 11, 1990, pp 1273-1281.
4. R. Zurawski, "Verifying Correctness of Interfaces of Design Models on Manufacturing Systems Using Functional Abstractions", IEEE Transactions on Industrial Electronics, vol 44, no 3, 1997, pp 307-320.
5. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981.
6. Z. H. Wu and T. Murata, "Use of Petri Nets for Distributed Control of Fairness in Concurrent Systems", Proc. 1st Conf. Computer and Applications, Beijing, 1984, IEEE Computer Society Press, pp 140-152.
7. C. J. Jiang, PN Machine Theory of Discrete Event Dynamic Systems. Science Press of China, Beijing, 2000.
8. T.Murata, "Petri nets: Properties, analysis and applications", Proc. IEEE, vol. 77, 1989, pp 541-580.