Author:
Hoogers P. W.,Kleijn H. C. M.,Thiagarajan P. S.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Best, E., and Devillers, R., (1987), Sequential and concurrent behaviour in Petri net theory, Theoretical Computer Science 55, 87–136.
2. Best, E., and Fernández C., C., (1988), Nonsequential processes, EATCS Monographs on Theoretical Computer Science Vol. 13, Springer Verlag.
3. Degano, P., Meseguer, J., and Montanari, U., (1989), Axiomatizing net computations and processes, In Proc. Logic in Computer Science, 175–185.
4. Ehrenfeucht, A., and Rozenberg, G., (1990), Partial 2-structures; part II: state spaces of concurrent systems, Acta Informatica, v. 27, 348–368.
5. Engelfriet, J., (1991), Branching processes of Petri nets, Acta Informatica, v.28, 575–591.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unbounded Petri Net Synthesis;Lectures on Concurrency and Petri Nets;2004
2. The word problem for 1LC congruences is NP-hard;Theoretical Computer Science;2003-09
3. Concurrent Implementation of Asynchronous Transition Systems;Lecture Notes in Computer Science;1999
4. Petri nets and other models of concurrency;Lectures on Petri Nets I: Basic Models;1998
5. Theory of regions;Lectures on Petri Nets I: Basic Models;1998