The following pages link to Advances in Petri nets 1992 (Q6038433):
Displaying 10 items.
- Complexity results for 1-safe nets (Q672459) (← links)
- Trapping mutual exclusion in the box calculus (Q672869) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Steady-state performance evaluation of continuous mono-T-semiflow Petri nets (Q1776410) (← links)
- A generic causal model for place latency. (Q1853520) (← links)
- Identification of biological regulatory networks from process hitting models (Q2513608) (← links)
- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
