Concurrent and maximally concurrent evolution of nonsequential systems-Reference-Cited by-同舟云学术

Concurrent and maximally concurrent evolution of nonsequential systems

Published:1986 Issue: Volume:43 Page:213-238
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Janicki Ryszard,Lauer Peter E.,Koutny Maciej,Devillers Raymond

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference32 articles.

1. Adequacy properties of path programs;Best;Theoret. Comput. Sci.,1982

2. Le Grafcet, pour une représentation normalisée du cahier des charges d'un automatisme logique;Blanchard;Automatique et Informatique Industrielle,1977

3. Applications and Theory of Petri Nets,1980

4. How to play the token game or difficulties in interpreting Place/Transition nets;Brauer;Petri Nets and Related System Models, Newsletter,1984

5. Ordered firing in Petri nets;Burkhard;Elektron. Informationsverarb. Kybernet.,1981

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

1. Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01

2. Interval Traces with Mutex Relation;Application and Theory of Petri Nets and Concurrency;2023

3. A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net;IEEE Access;2022

4. Practical Distributed Implementation of Very Large Scale Petri Net Simulations;Transactions on Petri Nets and Other Models of Concurrency XVI;2022

5. Concurrency Traces;Paradigms of Concurrency;2022