Author:
Desel Jörg,Juhás Gabriel,Lorenz Robert
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. E. Best and R. Devillers. Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science, 55, pp. 87–136, 1987.
2. Lect Notes Comput Sci;R. Bruni,1998
3. Lect Notes Comput Sci;R. Bruni,2000
4. P. Burmeister. Lecture Notes on Universal Algebra-Many Sorted Partial Algebras. Technical Report, TU Darmstadt, 1998.
5. E. Degano, J. Meseguer and U. Montanari. Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica, 33(7), pp. 641–667, 1996.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Partial Order Semantics of Types of Nets;Lecture Notes in Computer Science;2009
2. Loose Semantics of Petri Nets;Formal Methods in Software and Systems Modeling;2005
3. On Synchronicity and Concurrency in Petri Nets;Applications and Theory of Petri Nets 2003;2003