For the most recent entries see the Petri Nets Newsletter.

Interval Logic and Modified Labelled Net Model for System Specification and Verification.

Chiu, P.K.

Thesis, University of Hong Kong, Dept. of Electrical Engineering, 1985.

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

Back to the Petri Nets Bibliography