Author:
Koutny Maciej,Pietkiewicz-Koutny Marta
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Arnold, A.: Finite Transition Systems. Prentice Hall International, Englewood Cliffs (1994)
2. Badouel, E., Bernardinello, L., Darondeau, P.: The Synthesis Problem for Elementary Net Systems is NP-complete. Theoretical Computer Science 186, 107–134 (1997)
3. Lecture Notes in Computer Science;E. Badouel,1998
4. Bernardinello, L., De Michelis, G., Petruni, K., Vigna, S.: On the Synchronic Structure of Transition Systems. In: Desel, J. (ed.) Structures in Concurrency Theory. Workshops in Computing, pp. 69–84. Springer, Heidelberg (1995)
5. Lecture Notes in Computer Science;N. Busi,1997
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strategies for Minimising the Synthesised ENL-Systems;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01
2. Designing, Modelling and Analysis of GALS Software Systems;IEEE Transactions on Software Engineering;2023
3. Desynchronisation Technique Using Petri Nets;Electronic Notes in Theoretical Computer Science;2009-08
4. Synthesis of Nets with Step Firing Policies;Applications and Theory of Petri Nets;2008
5. Synchrony and Asynchrony in Membrane Systems;Membrane Computing;2006