Extending pnml Scope: A Framework to Combine Petri Nets Types-Reference-Cited by-同舟云学术

Extending pnml Scope: A Framework to Combine Petri Nets Types

Published:2012 Issue: Volume: Page:46-70
ISSN:0302-9743
Container-title:Transactions on Petri Nets and Other Models of Concurrency VI
language:
Short-container-title:

Author:

Hillah Lom-Messan,Kordon Fabrice,Lakos Charles,Petrucci Laure

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-35179-2_3

Reference30 articles.

1. Lecture Notes in Computer Science;F. Bause,1997

2. Lecture Notes in Computer Science;B. Bérard,2005

3. Bérard, B., Lime, D., Roux, O.: A Note on Petri Nets with Time. Integrated in report on WG19 plenary meeting in Paris, ISO/IEC/JTC1/SC7/WG19 (2011)

4. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Soft. Eng. 17(3), 259–273 (1991)

5. Lecture Notes in Computer Science;S. Christensen,1993

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

1. Transforming Dynamic Condition Response Graphs to Safe Petri Nets;Application and Theory of Petri Nets and Concurrency;2023

2. From strong to exact Petri net computers;International Journal of Parallel, Emergent and Distributed Systems;2021-11-08

3. Hybrid computational modeling methods for systems biology;Progress in Biomedical Engineering;2021-10-26

4. Generalizing the Compositions of Petri Nets Modules;Fundamenta Informaticae;2015

5. CosyVerif: An Open Source Extensible Verification Environment;2013 18th International Conference on Engineering of Complex Computer Systems;2013-07