Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

APN
1995
Springer

favoriteEmaildiscussreport

96views Artificial Intelligence» more APN 1995»

Causal Behaviours and Nets

13 years 8 months ago

Causal Behaviours and Nets

Download eprints.eemcs.utwente.nl

Speci cationformalismsinwhichcausalityandindependenceofactionscanbeexplicitlyexpressedarebene cialfromadesignpointofview.Theexplicitpresence(orabsence)ofacausaldependencybetweenactionscanbeusede ectivelyduringthedesign.Weconsideraspeci cationformal-isminwhichcausalrelationsbetweenactionsplayacentralroleandprovideasemanticsintermsof(anextensionof)labelledplace/transitionnets.Thebehaviourofnetsisde nedbylabelledpartiallyorderedsets.

Joost-Pieter Katoen

Real-time Traffic

APN 1995 | Artificial Intelligence | Speci Cationformalismsinwhichcausalityandindependenceofactionscanbeexplicitlyexpressedarebene |

claim paper

Related Content

» Hierarchical Causal Parameter Abduction in IntegralHybrid Logic Nets

» Picturing Causality The Serendipitous Semiotics of Causal Graphs

» Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SA...

» Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

» Synchronous Concurrent Sequential Earlier than Not later than

» Using Domain Knowledge to Select Solutions in Abductive Diagnosis

» Nonsequential Behaviour of Dynamic Nets

» Complete Process Semantics for Inhibitor Nets

» Behavioural Conflicts in a Causal Specification

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	1995
Where	APN
Authors	Joost-Pieter Katoen

Comments (0)