A calculus of Petri net components

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationModelling of Objects, Components, and Agents (Proceedings MOCA'01, Aarhus, Denmark, August 2001)
EditorsD. Moldt
Place of PublicationAarhus, Denmark
PublisherUniversity of Aarhus
Pages121-132
Publication statusPublished - 2001

Publication series

NameDAIMI PB
Volume553

Cite this