On structural properties of generalized processes-Reference-Cited by-同舟云学术

On structural properties of generalized processes

Published:1985 Issue: Volume: Page:288-306
ISSN:0302-9743
Container-title:Advances in Petri Nets 1984
language:
Short-container-title:

Author:

Kotov V. E.,Cherkasova L. A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-15204-0_17.pdf

Reference11 articles.

1. Petri C.A. Non-sequential processes. ISP-Report 77.05. St.Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1971, 31 p.

2. Petri C.A. Concurrency as a basis for system thinking. ISP-Report 78.06, St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1978, 20 p.

3. Peterson J.G. Petri net theory and the modelling of systems. Prentice-Hall Inc., N.Y., 1981, 290 p.

4. Lecture Notes in Computer Science;C. A. Petri,1979

5. Best E. The relative strength of K-density. Lecture Notes in Computer Science, vol.84, Springer-Verlag, Berlin, 1979, p.261–276.

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

1. Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets;Application and Theory of Petri Nets and Concurrency;2015

2. Descriptive and analytical process algebras;Lecture Notes in Computer Science;1990

3. Concurrent nondeterministic processes: Adequacy of structure and behaviour;Lecture Notes in Computer Science;1989

4. Concurrent processes with synchronization: Net and algebraic approach;Logic at Botik '89;1989

5. Observing some properties of event structures;Formal Methods in Programming and Their Applications