Author:
Krause Jan,Hintze Elke,Magnus Stephan,Diedrich Christian
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;B. Schätz,2002
2. Frenzel, R., Wollschlaeger, M., Hadlich, T., Diedrich, C.: Tool support for the development of IEC 62390 compliant fieldbus profiles. In: Emerging Technologies and Factory Automation (ETFA), IEEE Conference (2010)
3. Jensen, K.: Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer, Berlin (2009)
4. Best, E., Fleischhack, H., Fraczak, W., Hopkins, R., Klaudel, H., Pelz, E.: A Class of Composable High Level Petri Nets. In: ATPN 1995. Springer (1995)
5. ISO/IEC 15909-1: Software and system engineering – High-level Petri nets – Part 1: Concepts, definitions and (2004)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献