Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models-Reference-Cited by-同舟云学术

Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models

Published:2008 Issue: Volume: Page:409-418
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Lourenco João,Gomes Luís

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68746-7_27

Reference15 articles.

1. Nunes, R., Gomes, L., Barros, J.: A Graphical Editor for the Input-Output Place-Transition Petri Net Class. In: Proceedings of the 2007 IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2007). IEEE, Los Alamitos (2007)

2. S N O O P Y ’ s home page: Data Structures and Software Dependability – Brandenburg University of Technology Cottbus (2007), http://www-dssz.informatik.tu-cottbus.de/software/snoopy.html

3. Lecture Notes in Computer Science;J. Billington,2003

4. PNML: Petri Net Markup Language (PNML) (2004), http://www.informatik.hu-berlin.de/top/pnml/about.html

5. Gomes, L., Barros, J., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: 5th IEEE International Conference on Industrial Informatics (INDIN 2007) (2007)

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

1. Robust IoT Based Parking Information System;Communications in Computer and Information Science;2021

2. Petri Net-based Smart Parking Information System;Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems;2020

3. Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers;IEEE Transactions on Industrial Electronics;2010-05