A Signal Extension for Petri Nets and its Use in Controller Design-Reference-Cited by-同舟云学术

A Signal Extension for Petri Nets and its Use in Controller Design

Published:2000 Issue:4 Volume:41 Page:415-431
ISSN:0169-2968
Container-title:Fundamenta Informaticae
language:
Short-container-title:

Author:

Hanisch H.-M.¹,Lüder A.²

Affiliation:

1. Dept. of Engineering Science, Martin-Luther-University, Halle-Wittenberg, Germany. email: hans-michael.hanisch@iw.uni-halle.de

2. Dept. of Electrical Engineering, Institute for Automation Technology (IFAT), Otto-von-Guericke-University, Magdeburg, Germany. email: arndt.lueder@e-technik.uni-magdeburg.de

Publisher

IOS Press

Subject

Computational Theory and Mathematics,Information Systems,Algebra and Number Theory,Theoretical Computer Science

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

1. Specification of Complex Events and Their Integration in the IOPT-Tools Development Environment;2024 8th International Young Engineers Forum on Electrical and Computer Engineering (YEF-ECE);2024-07-05

2. Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers;Applied Sciences;2024-06-19

3. Model-driven development in hardware-software co-design of controllers for cyber-physical systems;2023 IEEE 10th International Conference on E-Learning in Industrial Electronics (ICELIE);2023-10-16

4. Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems — A case study;2022 IEEE 9th International Conference on e-Learning in Industrial Electronics (ICELIE);2022-10-17

5. Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker;2022 IEEE 31st International Symposium on Industrial Electronics (ISIE);2022-06-01