Author:
Bednarczyk Marek A.,Borzyszkowski Andrzej M.
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lect Notes Comput Sci;E. Badouel,1998
2. E. Badouel, M. A. Bednarczyk and P. Darondeau. Generalized automata and their net representations. In this volume.
3. Ph.D. thesis;M. A. Bednarczyk,1988
4. M. A. Bednarczyk and A. M. Borzyszkowski. Concurrent realizations of reactive systems. In P. R. M. Hofmann, D. Pavlovic, ed., Proc. Category Theory in Computer Science, 8th Conf., Edinburgh, vol. 29 of Electronic Notes in Theoretical Computer Science, pp. 1–19. Elsevier, 1999.
5. Lect Notes Comput Sci;M. A. Bednarczyk,1999
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms;Transactions on Petri Nets and Other Models of Concurrency VIII;2013
2. Modelling Mobility with Petri Hypernets;Recent Trends in Algebraic Development Techniques;2005
3. Unbounded Petri Net Synthesis;Lectures on Concurrency and Petri Nets;2004
4. Modular System Development with Pullbacks;Applications and Theory of Petri Nets 2003;2003