Rewriting Logic as a Unifying Framework for Petri Nets-Reference-Cited by-同舟云学术

Rewriting Logic as a Unifying Framework for Petri Nets

Published:2001 Issue: Volume: Page:250-303
ISSN:0302-9743
Container-title:Unifying Petri Nets
language:
Short-container-title:

Author:

Stehr Mark-Oliver,Meseguer José,Ölveczky Peter Csaba

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45541-8_9

Reference78 articles.

1. Lect Notes Comput Sci;W. M. P. Aalst van der,1993

2. N. A. Anisimov. An algebra of regular macronets for formal specification of communication protocols. Computers and Artificial Intelligence, 10(6):541–560, 1991.

3. N. A. Anisimov, K. Kishinski, A. Miloslavski, and P. A. Postupalski. Macroplaces in high level Petri nets: Application for design inbound call center. In Proceedings of the Int. Conference on Information System Analysis and Synthesis (ISAS’96), Orlando, FL, USA, pages 153–160, July 1996.

4. A. Asperti. A logic for concurrency. unpublished manuscript, November 1987.

5. Lect Notes Comput Sci;E. Battiston,1988

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

1. Modelling Adaptive Systems with Maude Nets-within-Nets;Lecture Notes in Networks and Systems;2024

2. A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics;2023 IEEE International Conference on Networking, Sensing and Control (ICNSC);2023-10-25

3. Modelling and verification of post-quantum key encapsulation mechanisms using Maude;PeerJ Computer Science;2023-09-19

4. Analysis and verification of code-based key encapsulation mechanism BIKE in Maude;2023 JNIC Cybersecurity Conference (JNIC);2023-06-21

5. Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27