Author:
Berthelot G.,Roucairol G.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. G. BERTHELOT, G. MEMMI. Analyse et réductions de réseaux de Petri. Rapport de DEA Institut de Programmation, Juin 1975.
2. E. BEST, H.A. SCHMID. Systems of open paths in Petri-nets. Proc. of the Symp. on MFCS 75, Lect. notes in Comp. Sc. n°32, Springer-Verlag ed.
3. K. GOSTELOW, et al ... Proper termination of flow of control in programs involving concurrent processes. SIGPLAN Notices, 7, 11, 1972.
4. M.H. HACK. Analysis of production schemata by Petri nets. TR 94, Project MAC, M.I.T. 1972.
5. R.M. KARP, R.E. MILLER. Parallel program schemata. JCSS 3, 2 1969
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019;International Journal on Software Tools for Technology Transfer;2021-06-01
2. Analysis of Concurrent Control Systems;Prototyping of Concurrent Control Systems Implemented in FPGA Devices;2016-10-01
3. Introduction;Prototyping of Concurrent Control Systems Implemented in FPGA Devices;2016-10-01
4. Protocol Verification;Communication Protocol Specification and Verification;1998
5. Linear algebraic and linear programming techniques for the analysis of place/transition net systems;Lectures on Petri Nets I: Basic Models;1998