Author:
Padberg Julia,Schulz Alexander
Publisher
Springer International Publishing
Reference22 articles.
1. Andreu, D., Souquet, G., Gil, T.: Petri net based rapid prototyping of digital complex system. In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, pp. 405–410. IEEE Computer Society (2008)
2. Bae, K., Meseguer, J.: A rewriting-based model checker for the linear temporal logic of rewriting. Electron. Notes Theoret. Comput. Sci. 290, 19–36 (2012)
3. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. IFIP Advances in Information and Communication Technology;P Barbosa,2011
5. Boudiaf, N., Djebbar, A.: Towards an automatic translation of colored Petri nets to Maude language. Int. J. Comput. Sci. Eng. 3(1), 253–258 (2009)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modular rewritable Petri nets: An efficient model for dynamic distributed systems;Theoretical Computer Science;2024-04
2. Modelling Adaptive Systems with Maude Nets-within-Nets;Lecture Notes in Networks and Systems;2024
3. Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
4. Modelling Adaptive Systems with Nets-Within-Nets in Maude;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023
5. Encoding Nets-Within-Nets in Maude;Lecture Notes in Networks and Systems;2023