The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator-Reference-Cited by-同舟云学术

The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

Published:2009 Issue: Volume: Page:313-322
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Westergaard Michael,Kristensen Lars Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02424-5_19

Reference12 articles.

1. Access/CPN download, http://www.daimi.au.dk/~ascoveco/accesscpn/

2. CPN Tools webpage, www.daimi.au.dk/CPNTools/

3. Eclipse Modelling Framework (EMF), www.eclipse.org/modeling/emf/

4. Espersen, K.L., Kjeldsen, M.K.: Automatic Code Generation from Process-Partitioned Coloured Petri Net Models. Master’s thesis, Dept. of Computer Science, University of Aarhus (2008)

5. Modeling and Simulation High Level Architecture. IEEE-1516

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

1. A coloured Petri nets-based system for validation of biomedical signal acquisition devices;The Journal of Supercomputing;2024-03-18

2. Simulating Cyber-Attack Scenarios by Discovering Petri-Nets from Large-Scale Event Logs;2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS);2024-01-03

3. Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making;IEEE Access;2024

4. MLPro-MPPS - A Versatile and Configurable Production Systems Simulator in Python;2023 IEEE 2nd Industrial Electronics Society Annual On-Line Conference (ONCON);2023-12-08

5. Recovery Planning;Advances in Information Security;2023