Author:
Bérard B.,Cassez F.,Haddad S.,Lime Didier,Roux O. H.
Publisher
Springer Berlin Heidelberg
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modelling and Optimization Approaches for Advanced Manufacturing Systems;Proceedings of the 2023 10th International Conference on Industrial Engineering and Applications;2023-01-09
2. Fast Termination and Workflow Nets;Computer Aided Verification;2023
3. A State Class Based Controller Synthesis Approach for Time Petri Nets;Application and Theory of Petri Nets and Concurrency;2023
4. Liveness Enforcement for Time Petri Nets;2022 8th International Conference on Control, Decision and Information Technologies (CoDIT);2022-05-17
5. An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions;Information Sciences;2021-11