Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. J. Baeten and W. Weijland. Process Algebra. Cambridge University Press, 1990.
2. E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Th. Comp. Sci., 55:87–136, 1987.
3. E. Best, R. Devillers, and J. Hall. The Box calculus: a new causal algebra with multi-label communication. In G. Rozenberg (ed), Advances in Petri Nets, LNCS 609:21–69. 1992.
4. T. Bolognesi and G. Ciaccio. Cumulating constraints on the ‘when’ and the ‘what'. In R. Tenney et al (eds), Formal Description Techniques VI, pp. 433–448. 1994.
5. M. Broy. Formalization of distributed, concurrent, reactive systems. In E. Neuhold and M. Paul (eds), Formal Description of Programming Concepts, pp. 319–361. 1991.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coloured Petri Nets for Chronicle Recognition;Reliable Software Technologies – Ada-Europe 2009;2009
2. SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH;International Journal of Cooperative Information Systems;2004-12
3. Formal Specification and Design of Distributed Systems;IFIP Advances in Information and Communication Technology;1997
4. Arc-typed Petri Nets;Application and Theory of Petri Nets 1996;1996