Reductions of nets and parallel programs-Reference-Cited by-同舟云学术

Reductions of nets and parallel programs

Published:1980 Issue: Volume: Page:277-290
ISSN:0302-9743
Container-title:Net Theory and Applications
language:
Short-container-title:

Author:

Berthelot G.,Roucairol G.,Valk R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-10001-6_28.pdf

Reference14 articles.

1. Berthelot, G., Roucairol, G.: Reduction of Petri Nets. in: Proc. of the Symp. on MFCS 76, Lect. Notes in Computer Sci. 45, pp 202–209, Springer Berlin, (1976).

2. Berthelot, G.: Verification de réseaux de Petri. Thèse de 3° cycle, Institut de Programmation, Univ. Paris 6, (1978).

3. Berthelot, G.: Preuves de non-blocage de programmes paralléles par reduction de réseaux de Petri. in: Proc. of the 1st European Conference on Parallel and Distributed Processing, J.C.Syre ed., CEPADUES publ., (1979)

4. Byrn, W.H.: Sequential Processes, Deadlocks, and Semaphore Primitives. TR7-75, Havard Univ., Cambridge, Mass., (1975).

5. Cotronis, J.Y., Lauer, P.E.: Verification of Concurrent Systems of Processes. in: Proc. of the International Computing Symposium 1977, Liège; (1977).

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analysis of Concurrent Control Systems;Prototyping of Concurrent Control Systems Implemented in FPGA Devices;2016-10-01

2. Introduction;Prototyping of Concurrent Control Systems Implemented in FPGA Devices;2016-10-01

3. Verification of Finite-State Systems;Models and Analysis in Distributed Systems;2013-03-06

4. Syntactical Colored Petri Nets Reductions;Automated Technology for Verification and Analysis;2005

5. Net operations (II)—The iterated addition operation of Petri nets;Journal of Computer Science and Technology;1995-11