For the most recent entries see the Petri Nets Newsletter.

Keyword: home space

Chehaibar, Ghassan:
Use of Reentrant Nets in Modular Analysis of Colored Nets. 1991.
Chehaibar, Ghassan:
Replacement of Open Interface Subnets and Stable State Transformation Equivalence. 1991.
Johnen, C.:
Algorithmic Verification of Home Spaces in P/T Systems. 1988.

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

Back to the Petri Nets Bibliography