Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way-Reference-Cited by-同舟云学术

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way

Published:2009 Issue: Volume: Page:239-255
ISSN:0302-9743
Container-title:FM 2009: Formal Methods
language:
Short-container-title:

Author:

Eshuis Rik

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05089-3_16.pdf

Reference19 articles.

1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, Chichester (1995)

2. Best, E., Darondeau, P., Wimmel, H.: Making Petri nets safe and free of internal transitions. Fundamenta Informaticae 80(1-3), 75–90 (2007)

3. Lecture Notes in Computer Science;J. Desel,2001

4. Eshuis, R.: Reconciling statechart semantics. Science of Computer Programming 74(3), 65–99 (2009)

5. Eshuis, R.: Translating safe Petri nets to statecharts in a structure-preserving way. Beta Working Paper Series, WP 282, Eindhoven University of Technology (2009)

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

1. Process Comparison Using Petri Net Decomposition;Lecture Notes in Computer Science;2024

2. Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account;Application and Theory of Petri Nets and Concurrency;2020

3. Synthesizing data-centric models from business process models;Computing;2015-02-14

4. Modeling Hybrid Systems with Petri Nets;Advances in Intelligent Systems and Computing;2015

5. Synthesizing object life cycles from business process models;Software & Systems Modeling;2014-05-01