Skip navigation

Temporal structure and enablement representation for mutual wills: A Petri net approach

Temporal structure and enablement representation for mutual wills: A Petri net approach

Farook, Dany Y. and Nissan, Ephraim (1998) Temporal structure and enablement representation for mutual wills: A Petri net approach. Information & Communications Technology Law, 7 (3). pp. 243-267. ISSN 1360-0834 (Print), 1469-8404 (Online) (doi:10.1080/13600834.1998.9965793)

Full text not available from this repository.

Abstract

Those temporal formalisms that are sporadically found nowadays in the literature of AI & Law are based on temporal logic. We claim a revived role for another major class of temporal representation: Petri nets. This formalism, popular in computing from the 1970s, had its potential recognized on occasion in the literature of legal computing as well, but apparently the discipline has lost sight of it, and its practitioners on average need be tutored into this kind of representation. Asynchronous, concurrent processes—for which the approach is well‐suited—are found in the legal domain, in disparate contexts. We develop an example for Mutual Wills.

Item Type: Article
Additional Information: [1] Published in Information & Communications Technology Law, Volume 7, Issue 3, 1998 - Special Issue: Formal Models of Legal Time.
Uncontrolled Keywords: temporal structure, mutual wills, Petri net
Subjects: Q Science > QA Mathematics
Pre-2014 Departments: School of Computing & Mathematical Sciences
Related URLs:
Last Modified: 14 Oct 2016 08:59
Selected for GREAT 2016: None
Selected for GREAT 2017: None
Selected for GREAT 2018: None
URI: http://gala.gre.ac.uk/id/eprint/125

Actions (login required)

View Item View Item