Author:
Bonet Blai,Haslum Patrik,Hickmott Sarah,Thiébaux Sylvie
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;K.L. McMillan,1993
2. Esparza, J.: Model checking using net unfoldings. Science of Computer Programming 23(2-3), 151–195 (1994)
3. Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. on Automatic Control 48(5), 714–727 (2003)
4. Hickmott, S., Rintanen, J., Thiébaux, S., White, L.: Planning via Petri net unfolding. In: Proc. of 20th Int. Joint Conference on Artificial Intelligence, pp. 1904–1911. AAAI Press, Menlo Park (2007)
5. Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan’s unfolding algorithm. Formal Methods in System Design 20(3), 285–310 (2002)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems;Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management;2023
2. Safety Analysis of Train-Ground Communication Failure Based on Unfolding of Petri Nets;2022 China Automation Congress (CAC);2022-11-25
3. Generic Modeling Technique for Flexible and Highly Available Assembly Systems;Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2021;2022
4. Star-topology decoupled state space search;Artificial Intelligence;2018-04
5. An introduction and review of petri net unfolding technology;Proceedings of the 4th International Conference on Communication and Information Processing - ICCIP '18;2018