For the most recent entries see the Petri Nets Newsletter.

How to formalize it - formalization principles for information system development methods.

ter Hofstede, A.H.M.; Proper, H.A.

In: Information and Software Technology, Vol. 40, No. 10, pages 519-540. 1998.

Abstract: Although the need for formalization of modeling techniques is generally recognized, not much literature is devoted to the actual process involved. This is comparable to the situation in mathematics where focus is on proofs but not on the process of proving. This paper tries to accommodate for this lack and provides essential principles for the process of formalization in the context of modeling techniques as well as a number of small but realistic formalization case studies.

Keywords: colored Petri nets, formal semantics, formalization methodologies, information systems, transition nets.

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

Back to the Petri Nets Bibliography