High Level Petri Nets Analysis with Helena-Reference-Cited by-同舟云学术

High Level Petri Nets Analysis with Helena

Published:2005 Issue: Volume: Page:455-464
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets 2005
language:
Short-container-title:

Author:

Evangelista Sami

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11494744_26

Reference22 articles.

1. Lecture Notes in Computer Science;S. Evangelista,2003

2. Lecture Notes in Computer Science;M. Mäkelä,2002

3. Varpaaniemi, K.: PROD 3.4.00 — an advanced tool for efficient reachability analysis. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, Software (2004)

4. Mäkelä, M.: Condensed storage of multi-set sequences. In: Practical Use of High-Level Petri Nets, University of Århus, Denmark. DAIMI report PB, vol. 547, pp. 111–125 (2000)

5. Holzmann, G.J.: The model checker spin. IEEE Transactions on Software Engineering 23(5), 279–295 (1997)

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

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

2. Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks;2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS);2022-03

3. A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts;2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2021-10

4. Nets-within-nets for modeling emergent patterns in ontogenetic processes;2021-02-16

5. Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach;Service-Oriented Computing – ICSOC 2020 Workshops;2021