Nested-unit Petri nets-Reference-Cited by-同舟云学术

Nested-unit Petri nets

Published:2019-04 Issue: Volume:104 Page:60-85
ISSN:2352-2208
Container-title:Journal of Logical and Algebraic Methods in Programming
language:en
Short-container-title:Journal of Logical and Algebraic Methods in Programming

Author:

Garavel Hubert

Funder

Alexander-von-Humboldt foundation

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference127 articles.

1. Petri net models for algebraic theories of concurrency;van Glabbeek,1987

2. A Calculus of Communicating Systems;Milner,1980

3. Process algebra for synchronous communication;Bergstra;Inf. Comput.,1984

4. A theory of communicating sequential processes;Brookes;J. ACM,1984

5. LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard 8807, International Organization for Standardization – Information Processing Systems – Open Systems Interconnection, Geneva;ISO/IEC,1989

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

1. Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets;Lecture Notes in Computer Science;2024

2. A Toolchain to Compute Concurrent Places of Petri Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01

3. Preface to the special issue on Open Problems in Concurrency Theory;Journal of Logical and Algebraic Methods in Programming;2023-01

4. SMPT: A Testbed for Reachability Methods in Generalized Petri Nets;Formal Methods;2023

5. Experimenting with Stubborn Sets on Petri Nets;Application and Theory of Petri Nets and Concurrency;2023