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