Pages that link to "Item:Q4633150"
From MaRDI portal
The following pages link to Application and Theory of Petri Nets 1996 (Q4633150):
Displaying 25 items.
- Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition (Q4633151) (← links)
- Temporal uncertainty and fuzzy-timing high-level Petri nets (Q4633152) (← links)
- Compositionality in state space verification methods (Q4633153) (← links)
- On liveness and controlled siphons in Petri nets (Q4633154) (← links)
- Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets (Q4633156) (← links)
- High level synthesis of synchronous parallel controllers (Q4633158) (← links)
- Non sequential semantics for contextual P/T nets (Q4633159) (← links)
- The PSR methodology: Integrating hardware and software models (Q4633160) (← links)
- Expected impulse rewards in Markov regenerative stochastic Petri nets (Q4633161) (← links)
- Asynchronous composition of high level Petri Nets: A quantitative approach (Q4633162) (← links)
- A formal definition of hierarchical predicate transition nets (Q4633163) (← links)
- Reduced state space representation for unbounded vector state spaces (Q4633164) (← links)
- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets (Q4633166) (← links)
- Reachability analysis based on structured representations (Q4633167) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- A new iterative numerical solution algorithm for a class of stochastic Petri Nets (Q4633170) (← links)
- A structural approach for the analysis of Petri Nets by reduced unfoldings (Q4633172) (← links)
- An O(¦S¦ × ¦T¦)-algorithm to verify if a net is regular (Q4633174) (← links)
- The consistent use of names and polymorphism in the definition of Object Petri Nets (Q4633175) (← links)
- {SC}*ECS: A class of modular and hierarchical cooperating systems (Q4633176) (← links)
- Behavioural equivalence for infinite systems — Partially decidable! (Q4633177) (← links)
- Topological aspects of traces (Q4633178) (← links)
- Asynchronous control device design by net model behavior simulation (Q4633179) (← links)
- Covering step graph (Q4633181) (← links)
- Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks (Q4633182) (← links)