Component-Based Abstraction of Petri Net Models-Reference-Cited by-同舟云学术

Component-Based Abstraction of Petri Net Models

Published:2015-12-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Sixth International Symposium on Information and Communication Technology
language:
Short-container-title:

Author:

Le Khanh¹,Bui Thang¹,Quan Tho¹,Petrucci Laure²,André Étienne³

Affiliation:

1. Ho Chi Minh City University of Technology, Vietnam

2. LIPN, CNRS UMR, 7030 Université Paris 13, Sorbonne Paris Cité Villetaneuse, France

3. LIPN, CNRS UMR, 7030 IRCCyN, CNRS UMR 6597, Villetaneuse / Nantes France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2833258.2833298

Reference32 articles.

1. V. E. Kozura V. A. Nepomniaschy and R. M. Novikov "Verification of distributed systems modelled by high-level Petri nets " in 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002) 2002 pp. 61--66. V. E. Kozura V. A. Nepomniaschy and R. M. Novikov "Verification of distributed systems modelled by high-level Petri nets " in 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002) 2002 pp. 61--66.

2. An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

3. É. André Y. Lembachar L. Petrucci F. Hulin-Hubard A. Linard L. Hillah and F. Kordon "CosyVerif : An open source extensible verification environment " in 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013) 2013 pp. 33--36. 10.1109/ICECCS.2013.15 É. André Y. Lembachar L. Petrucci F. Hulin-Hubard A. Linard L. Hillah and F. Kordon "CosyVerif : An open source extensible verification environment " in 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013) 2013 pp. 33--36. 10.1109/ICECCS.2013.15

4. M. Westergaard and T. Slaats "CPN tools 4: A process modeling tool combining declarative and imperative paradigms " in Business Process Management: 11th International Conference (BPM 2013) 2013. M. Westergaard and T. Slaats "CPN tools 4: A process modeling tool combining declarative and imperative paradigms " in Business Process Management: 11th International Conference (BPM 2013) 2013.

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

1. Formal Modelling of Smart Grids: Configurability vs. Conventionality;2022 11th International Conference on Control, Automation and Information Sciences (ICCAIS);2022-11-21

2. Energy efficient optimized rate based congestion control routing in wireless sensor network;Journal of Ambient Intelligence and Humanized Computing;2019-09-19