For the most recent entries see the
Petri Nets Newsletter.
Formal and Semi-Graphic Specification of Non-Sequential Software Systems.
Krämer, B.
In:
Morgenbrod, H.; Remmele, W.: Entwurf groÑer Software-Systeme, Berichte des German Chapter of the ACM, pages 134-160.
Stuttgart: Teubner,
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography