Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 25 results in range #1 to #25.

A formal definition of hierarchical predicate transition nets: Label: en
Asynchronous composition of high level Petri Nets: A quantitative approach: Label: en
Expected impulse rewards in Markov regenerative stochastic Petri nets: Label: en
The PSR methodology: Integrating hardware and software models: Label: en
Non sequential semantics for contextual P/T nets: Label: en
High level synthesis of synchronous parallel controllers: Label: en
Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets: Label: en
On liveness and controlled siphons in Petri nets: Label: en
Compositionality in state space verification methods: Label: en
Temporal uncertainty and fuzzy-timing high-level Petri nets: Label: en
Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition: Label: en
Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks: Label: en
Covering step graph: Label: en
Asynchronous control device design by net model behavior simulation: Label: en
Topological aspects of traces: Label: en
Behavioural equivalence for infinite systems — Partially decidable!: Label: en
{SC}*ECS: A class of modular and hierarchical cooperating systems: Label: en
The consistent use of names and polymorphism in the definition of Object Petri Nets: Label: en
An O(¦S¦ × ¦T¦)-algorithm to verify if a net is regular: Label: en
A structural approach for the analysis of Petri Nets by reduced unfoldings: Label: en
A new iterative numerical solution algorithm for a class of stochastic Petri Nets: Label: en
Arc-typed Petri Nets: Label: en
Reachability analysis based on structured representations: Label: en
Modelling and analysis of distributed program execution in BETA using coloured Petri Nets: Label: en
Reduced state space representation for unbounded vector state spaces: Label: en