For the most recent entries see the Petri Nets Newsletter.

General Refinement and Recursion Operators for the Petri Box Calculus.

Best, Eike; Devillers, Raymond; Esparza, Javier

In: Enjalbert, P.; Finkel, A.; Wagner, K.: Lecture Notes in Computer Science, Vol. 665; Proceedings of STACS 93, X Annual Symposium of Theoretical Aspects of Computer Science, Würzburg, Feb. 1993, pages 130-140. Springer-Verlag, 1993.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography