Branching processes of Petri nets
Acta Informatica
Branching time and partial order in temporal logics
Time and logic
Fairness and partial order semantics
Information Processing Letters
The synthesis problem of Petri nets
Acta Informatica
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
Partial order semantics and read arcs
Theoretical Computer Science
Deriving Unbounded Petri Nets from Formal Languages
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Non Sequential Semantics for Contextual P/T Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Formal and natural computing
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
Information and Computation
Building Tight Occurrence Nets from Reveals Relations
ACSD '11 Proceedings of the 2011 Eleventh International Conference on Application of Concurrency to System Design
Factorization properties of symbolic unfoldings of colored petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Detecting State Encoding Conflicts in STG Unfoldings Using SAT
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Processes of Contextual Nets and their Characteristics
Fundamenta Informaticae
Hi-index | 0.00 |
Occurrence nets are a well known partial order model for the concurrent behavior of Petri nets. The causality and conflict relations between events, which are explicitly represented in occurrence nets, induce logical dependencies between event occurrences: the occurrence of an event e in a run implies that all its causal predecessors also occur, and that no event in conflict with e occurs. But these structural relations do not express all the logical dependencies between event occurrences in maximal runs: in particular, the occurrence of e in any maximal run may imply the occurrence of another event that is not a causal predecessor of e, in that run. The reveals relation has been introduced to express this dependency between two events. Here we generalize the reveals relation to express more general dependencies, involving more than two events, and we introduce ERL logic to express them as boolean formulas. Finally we answer the synthesis problem that arises: given an ERL formula Φ, is there an occurrence net N such that Φ describes exactly the dependencies between the events of N?