For the most recent entries see the
Petri Nets Newsletter.
Deriving temporal logic from predicate transition nt specifications.
He, Xudong;
Lee, John A.N.
In:
Proceedings of the 1th International Conference on Software Engineering and Knowledge Engineering (SEKE'89), pages 116-121.
June 1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography