Minimal-Maximal Time Cause-Effect Structures

Authors:
Ludwik Czaja
Affiliations:
Institute of Informatics, Warsaw University, ul. Banacha 2, Warsaw, Poland. e-mail: lczaja@mimuw.edu.pl
Venue:
Fundamenta Informaticae
Year:
1998

Citing 7
Cited 1

Propositional description of finite cause-effect structures

Information Processing Letters
Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Remarks on the equivalence of c-e structures and Petri nets

Information Processing Letters
Process in Cause-Effect Structures

Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Timed Petri nets and preliminary performance evaluation

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

IEEE Transactions on Software Engineering
Cause-Effect Structures - Structural and Semantic Properties Revisited

Fundamenta Informaticae

Cause-Effect Structures - Structural and Semantic Properties Revisited

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is shown that minimal-time singly-valued (counterparts of 1-safe Petri nets) cause-effect (c-e) structures are of the same expressive power as no-time singly-valued c-e structures, while maximal-time multi-valued c-e structures are of essentially greater expressive power than no-time multi-valued c-e structures.