A survey of equivalence notions for net based systems-Reference-Cited by-同舟云学术

A survey of equivalence notions for net based systems

Published:1992 Issue: Volume: Page:410-472
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Pomello L.,Rozenberg G.,Simone C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55610-9_180.pdf

Reference109 articles.

1. C. Andre', P.Armand, F.Boeri, Synchronic Relations and Applications in Parallel Computation. Digital Processes 5, Georgi Pub. Comp., 1979.

2. S. Abramsky, Observation Equivalence as a Testing Equivalence, Theoretical Computer Science, North Holland, Amsterdam 53, pp. 225–241, 1987.

3. Lecture Notes in Computer Science;L. Aceto,1987

4. L. Aceto, M. Hennessy, Towards Action — Refinement in Process Algebras, in Proc. LICS'89, Asilomar, California, IEEE Computer Society Press, Washington, pp. 138–145, 1989.

5. C. Andre', Behaviour of a Place-Transition Net on a Subset of Transitions, and Use of The Behaviour Equivalence in Place-Transition Net Analysis, in C. Girault, W. Reisig (eds.), “Applications and Theory of Petri Nets”, Informatik Fachberichte, Springer Verlag, Berlin 52, pp. 131–135 and pp.241–250, 1982.

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

1. Extended Future in Testing Semantics for Time Petri Nets;Studies in Computational Intelligence;2023

2. Testing Equivalences of Time Petri Nets;Programming and Computer Software;2020-07

3. Team bisimilarity, and its associated modal logic, for BPP nets;Acta Informatica;2020-03-13

4. Towards Comprehensive Support for Business Process Behavior Similarity Measure;IEICE Transactions on Information and Systems;2019-03-01

5. Compositional Process Model Synthesis Based on Interface Patterns;Communications in Computer and Information Science;2017-12-30