For the most recent entries see the Petri Nets Newsletter.

Keyword Index

abstract data type (13 entries)
abstract data types (3 entries)
abstract net (5 entries)
abstraction (11 entries)
access control (2 entries)
action refinement (11 entries)
active database systems (2 entries)
activity diagrams (2 entries)
actor (3 entries)
actor systems (2 entries)
actors (3 entries)
ADA (7 entries)
ADA-95 (4 entries)
ada program (2 entries)
ada rendezvous (2 entries)
ada tasking analysis (2 entries)
adaptive design (2 entries)
adaptive workflow (2 entries)
ADAS (2 entries)
adding (2 entries)
agent (9 entries)
agent-Based software engineering (2 entries)
agent interaction protocols (2 entries)
agent net (6 entries)
agents (12 entries)
aggregation (4 entries)
agreement problem (3 entries)
air traffic control (4 entries)
algebra (5 entries)
algebraic abstract data type (4 entries)
algebraic high-Level nets (2 entries)
algebraic net (7 entries)
algebraic net scheme (4 entries)
algebraic nets (4 entries)
algebraic petri nets (4 entries)
algebraic semantics (4 entries)
algebraic specification (9 entries)
algebraic specifications (4 entries)
algebraic structure (3 entries)
algebro-differential equations (2 entries)
algorithm (6 entries)
algorithm verification (2 entries)
algorithms (5 entries)
alternating bit-protocol (14 entries)
alternating failures (2 entries)
analysis (38 entries)
analysis and synthesis (7 entries)
animation (4 entries)
AOSE (2 entries)
application (5 entries)
application protocol (2 entries)
applicative state transition concept (2 entries)
approximate petri nets (2 entries)
approximate reasoning (6 entries)
approximation (3 entries)
architectural description languages (2 entries)
architectural modeling (2 entries)
architecture (3 entries)
architecture mapping model (3 entries)
ARQ protocol (2 entries)
ARTIFEX (2 entries)
artificial intelligence (13 entries)
ASIC memory (2 entries)
assembly (3 entries)
assembly planning (2 entries)
assembly systems (2 entries)
ASTOR (3 entries)
asymmetric choice nets (3 entries)
asynchronous (3 entries)
asynchronous circuit (4 entries)
asynchronous circuit design (3 entries)
asynchronous circuits (20 entries)
asynchronous communication (2 entries)
asynchronous controllers (3 entries)
asynchronous stack (2 entries)
asynchronous systems (6 entries)
ATM (3 entries)
ATM networks (2 entries)
atomicity (2 entries)
augmented net (3 entries)
augmented petri nets (2 entries)
AUML (2 entries)
automata (3 entries)
automated guided vehicle (4 entries)
automated guided vehicle systems (3 entries)
automated guided vehicles (2 entries)
automated manufacturing cell (2 entries)
automated manufacturing system (7 entries)
automated manufacturing systems (7 entries)
automated reasoning (2 entries)
automated storage and retrieval systems (3 entries)
automated synthesis (2 entries)
automatic verification (3 entries)
automatic warehousing system (2 entries)
automaton with multiplicities (2 entries)
autonomous distributed systems (6 entries)
autonomous underwater vehicle (2 entries)
availability (4 entries)
availability assessment (2 entries)
avoidance of state space explosion (3 entries)
axiomatization (7 entries)
b (9 entries)
back-forth bisimulations (2 entries)
back-forth tau-bisimulation equivalences (2 entries)
backward reasoning (2 entries)
basic tau-equivalences (2 entries)
BASYSNET (2 entries)
batch plants (3 entries)
batch processes (5 entries)
behavior modeling (3 entries)
behavior representation (2 entries)
behavior specification (2 entries)
behavioral analysis (3 entries)
behavioral properties (3 entries)
behaviour (9 entries)
behaviour equivalence (3 entries)
behavioural equivalence (4 entries)
behavioural equivalences (10 entries)
behavioural simulation (2 entries)
behavioural specification (3 entries)
bill-of-materials (2 entries)
binary decision diagrams (7 entries)
biochemical networks (3 entries)
bipolar synchronization scheme (2 entries)
bisimulation (22 entries)
bisimulation equivalence (4 entries)
blocking (2 entries)
book (2 entries)
boolean interpreted net (2 entries)
boolean interpreted petri nets (2 entries)
bounded (2 entries)
bounded free choice net (5 entries)
bounded free choice system (2 entries)
bounded net (5 entries)
boundedness (24 entries)
boundedness property (3 entries)
box algebra (2 entries)
BPEL (2 entries)
BPEL4WS (2 entries)
branch and bound (5 entries)
branching prime event structure (2 entries)
branching process (2 entries)
branching processes (5 entries)
branching time (2 entries)
branching time temporal logic (2 entries)
building process (2 entries)
burst switching (3 entries)
bus (5 entries)
business process (7 entries)
business process intelligence (2 entries)
business process management (5 entries)
business process modeling (6 entries)
business process modeling and analysis (2 entries)
business process modelling (2 entries)
business process reengineering (3 entries)
business processes (6 entries)
byzantine consensus protocol (2 entries)
byzantine generals problem (2 entries)
c3I system (2 entries)
CAD tools (2 entries)
calculus (2 entries)
capacity (2 entries)
capacity planning (3 entries)
CASE (2 entries)
case graph (3 entries)
case studies (7 entries)
categorial approach (3 entries)
category (10 entries)
category theory (15 entries)
causal dependency (2 entries)
causal net (2 entries)
causal nets (2 entries)
causal partial order semantics (3 entries)
causality (9 entries)
causality/partial order theory of concurrency (2 entries)
causality semantics (4 entries)
cause-effect structure (2 entries)
CAVE (2 entries)
CCS (12 entries)
cellular automata (2 entries)
cellular manufacturing system (2 entries)
cellular manufacturing systems (2 entries)
channel/agency net (2 entries)
characterization (3 entries)
checkpointing (2 entries)
checkpointing strategy (2 entries)
chemical engineering (2 entries)
clan (2 entries)
client-server systems (3 entries)
clock synchronization (2 entries)
closed support t-invariants (2 entries)
closure property (4 entries)
cluster tools (2 entries)
clustering (2 entries)
CO-Nets (2 entries)
CO-OPN (4 entries)
CO-OPN/2 (4 entries)
coarsening (3 entries)
code generation (2 entries)
collaborative design (2 entries)
collective token philosophy (2 entries)
colored net (3 entries)
colored petri net (10 entries)
colored petri nets (82 entries)
colored stochastic petri nets (2 entries)
coloured net (47 entries)
coloured nets (3 entries)
coloured petri net (2 entries)
coloured petri nets (57 entries)
coloured stochastic net (2 entries)
coloured timed petri nets (4 entries)
combinatorial explosion (2 entries)
command (2 entries)
command and control (2 entries)
command and control systems (2 entries)
communicating processes (2 entries)
communicating sequential processes (2 entries)
communication (5 entries)
communication networks (3 entries)
communication protocol (27 entries)
communication protocols (14 entries)
communication system (6 entries)
communication systems (2 entries)
compilation (2 entries)
completeness (2 entries)
complex production system (2 entries)
complex systems (3 entries)
complexity (12 entries)
complexity analysis (2 entries)
complexity reduction (4 entries)
components (7 entries)
composition (20 entries)
compositional semantics (6 entries)
compositional synthesis (2 entries)
compositionality (23 entries)
computability (2 entries)
computation (3 entries)
computational complexity (6 entries)
computer (2 entries)
computer-aided design (11 entries)
computer-aided engineering (2 entries)
computer aided manufacturing (4 entries)
computer-aided software engineering (5 entries)
computer architecture (3 entries)
computer integrated manufacturing (10 entries)
computer network (2 entries)
computer networks (3 entries)
computer-supported cooperative work (2 entries)
computer tools for nets (3 entries)
concepts (2 entries)
conceptual (2 entries)
conceptual design (2 entries)
conceptual modeling (2 entries)
concurrency (46 entries)
concurrency relation (3 entries)
concurrency semantics (3 entries)
concurrency theory (7 entries)
concurrent (4 entries)
concurrent ada program (2 entries)
concurrent applications (2 entries)
concurrent automata (3 entries)
concurrent behaviour (3 entries)
concurrent bisimulation (2 entries)
concurrent engineering (2 entries)
concurrent models (2 entries)
concurrent object-oriented net (2 entries)
concurrent objects (2 entries)
concurrent program (6 entries)
concurrent programming (5 entries)
concurrent programs (2 entries)
concurrent semantics (2 entries)
concurrent system (8 entries)
concurrent system design (2 entries)
concurrent system engineering (2 entries)
concurrent systems (32 entries)
condition/event net (8 entries)
condition/event system (8 entries)
conditon/event system (2 entries)
conflict (9 entries)
conflict definition (2 entries)
conflict-free net (2 entries)
conflict-free petri nets (2 entries)
conflict freeness (2 entries)
confusion (3 entries)
connected simulator (2 entries)
consensus problem (2 entries)
consistency (2 entries)
consistency maintenance (2 entries)
constraint (2 entries)
construction (2 entries)
contact (3 entries)
containment (2 entries)
context free grammar (2 entries)
context-free language (2 entries)
contextual nets (3 entries)
continuous net (3 entries)
continuous petri nets (5 entries)
continuous systems (4 entries)
control (12 entries)
control algorithms (2 entries)
control construct dependency (3 entries)
control design (3 entries)
control engineering (2 entries)
control flow (4 entries)
control logic (2 entries)
control software (6 entries)
control structure (4 entries)
control structures (2 entries)
control synthesis (3 entries)
control system (5 entries)
control system synthesis (2 entries)
control systems (9 entries)
control theory (2 entries)
controlled net (4 entries)
controlled petri nets (3 entries)
controller design (2 entries)
controller synthesis (3 entries)
controlling (2 entries)
conventions (2 entries)
convolution algorithm (2 entries)
cooperation (2 entries)
cooperative information systems (2 entries)
coordination (6 entries)
coordination structure (2 entries)
CORBA (7 entries)
correctness (3 entries)
correctness verification (4 entries)
cost estimation (2 entries)
COSY (5 entries)
coverability graphs (2 entries)
coverage measure (2 entries)
covering graph (2 entries)
cryptography (2 entries)
CSP (8 entries)
cube tool methodology (3 entries)
cycle time (4 entries)
cyclic controlled marked graph (3 entries)
cyclic frustum (2 entries)
cyclic orders (2 entries)
cyclic process (3 entries)
cyclic scheduling problem (2 entries)
d-continuity (2 entries)
d-partition (4 entries)
DAML (2 entries)
data abstraction (5 entries)
data flow (7 entries)
data flow architecture (4 entries)
data flow diagram (3 entries)
data flow net (2 entries)
data mining (4 entries)
data storage (2 entries)
data structure (2 entries)
data structuring (2 entries)
database (4 entries)
database systems (3 entries)
DCCP (3 entries)
dead transition (2 entries)
deadlock (24 entries)
deadlock analysis (2 entries)
deadlock avoidance (19 entries)
deadlock detection (4 entries)
deadlock-free (4 entries)
deadlock-free scheduling (2 entries)
deadlock-freeness (9 entries)
deadlock prevention (8 entries)
deadlocks (7 entries)
debugging (4 entries)
decidability (25 entries)
decidability problems (3 entries)
decidability questions (2 entries)
decidability results (2 entries)
decision diagrams (2 entries)
decision making (3 entries)
decision net (2 entries)
decision support (2 entries)
decision systems (2 entries)
decision tree (2 entries)
decomposition (27 entries)
definability (2 entries)
degradable system (3 entries)
DEMON (6 entries)
denotational semantics (13 entries)
dependability (6 entries)
dependability analysis (8 entries)
dependability engineering (2 entries)
dependability evaluation (8 entries)
dependability modeling (10 entries)
dependability prediction (2 entries)
derive logic functions (3 entries)
description language (2 entries)
design (21 entries)
design automation (7 entries)
design calculus (2 entries)
DESIGN/CPN (13 entries)
design methods (5 entries)
design patterns (4 entries)
design requirement (2 entries)
design technique (2 entries)
design tool (4 entries)
design validation (2 entries)
design verification (2 entries)
DESYRE (3 entries)
deterministic and stochastic petri nets (2 entries)
deterministic net (2 entries)
deterministic petri nets (6 entries)
deterministic stochastic net (2 entries)
diagnosis (2 entries)
diagnostic expert system (3 entries)
diagram (2 entries)
dialectical net (2 entries)
diamond property (2 entries)
digital signal processor (2 entries)
digital systems (3 entries)
digraph (2 entries)
dining philosophers (2 entries)
dining philosophers problem (2 entries)
diophantine equation (2 entries)
directed graph (2 entries)
disassembly (3 entries)
discrete controller (2 entries)
discrete-event (5 entries)
discrete event control (2 entries)
discrete-event control systems (2 entries)
discrete event dynamic system (6 entries)
discrete event dynamic systems (2 entries)
discrete event simulation (11 entries)
discrete event system (21 entries)
discrete-event systems (63 entries)
discrete manufacturing system (4 entries)
discrete model (2 entries)
discrete simulation (2 entries)
discrete time (10 entries)
discrete-time markov chain (2 entries)
dissynchronous choice nets (2 entries)
distributed algorithm (2 entries)
distributed algorithms (8 entries)
distributed analaysis (2 entries)
distributed applications (2 entries)
distributed artificial intelligence (3 entries)
distributed component-based systems (3 entries)
distributed computer system (2 entries)
distributed computing (2 entries)
distributed databases (2 entries)
distributed diagnosis (2 entries)
distributed intelligence system (2 entries)
distributed operational semantics (3 entries)
distributed processing (3 entries)
distributed semantics (2 entries)
distributed shared memory (4 entries)
distributed simulation (11 entries)
distributed software (4 entries)
distributed software development (2 entries)
distributed system (31 entries)
distributed system design (2 entries)
distributed systems (52 entries)
distributed transition system (3 entries)
distributive lattices (2 entries)
dP-Net (2 entries)
drawing (2 entries)
DST (3 entries)
dts-boxes (2 entries)
dualistic (2 entries)
dynamic knowledge representation (4 entries)
dynamic modeling (2 entries)
dynamic modelling (4 entries)
dynamic optimization (2 entries)
dynamic processes (3 entries)
dynamic programming (3 entries)
dynamic queing network (2 entries)
dynamic scheduling (2 entries)
dynamic software architectures (2 entries)
e-Business (4 entries)
e-Commerce (3 entries)
earliest firing rule (3 entries)
ECA rules (4 entries)
edge-weight (2 entries)
education (2 entries)
efficiency (3 entries)
efficient model checking (4 entries)
eigenvalues (2 entries)
eight season system (2 entries)
electronic commerce (2 entries)
electronic funds transfer (2 entries)
electronic payment system (2 entries)
elementary flow (2 entries)
elementary net (3 entries)
elementary net system (17 entries)
elementary net systems (6 entries)
elementary siphon (2 entries)
elementary transition system (2 entries)
elevator system (2 entries)
embedded systems (11 entries)
enabling (3 entries)
enhanced net (3 entries)
enlogy (4 entries)
entity interaction (2 entries)
entity relationship approach (3 entries)
environment/relationship net (4 entries)
environmental protection (2 entries)
equilibrium state probability (2 entries)
equivalence (8 entries)
equivalence relation (2 entries)
equivalence relations (3 entries)
equivalences (5 entries)
ereignisgesteuerte prozeÑketten (2 entries)
ergodicity (3 entries)
error correlation (2 entries)
error recovery (7 entries)
estelle (6 entries)
estelle specification (2 entries)
estimation (2 entries)
ethernet communication network (2 entries)
evaluation (5 entries)
event-based signaling (2 entries)
event-driven process chains (3 entries)
event-driven simulation (6 entries)
event driven system (2 entries)
event graphs (2 entries)
event structure (9 entries)
event structures (4 entries)
events (3 entries)
exception-handling (4 entries)
exceptions (2 entries)
executable models (2 entries)
executable specifications (2 entries)
execution path (2 entries)
execution policy (2 entries)
execution semantics (2 entries)
exhaustive simulation (2 entries)
expanded net (2 entries)
experience with using nets (4 entries)
expert system (19 entries)
expert systems (7 entries)
expressiveness (3 entries)
extended coloured net (4 entries)
extended EPCs (2 entries)
extended net (15 entries)
extended petri nets (4 entries)
extended stochastic net (4 entries)
extended time net (2 entries)
extended timed net (2 entries)
extension (2 entries)
external input place (2 entries)
failure (2 entries)
failure analysis (2 entries)
failure detection (2 entries)
failure equivalence (3 entries)
failure recovery (2 entries)
failure semantics (3 entries)
failures (2 entries)
fairness (17 entries)
fault analysis (2 entries)
fault detection (9 entries)
fault diagnosis (10 entries)
fault injection (3 entries)
fault recovery (2 entries)
fault-tolerance (18 entries)
fault-tolerant distributed system (2 entries)
fault tolerant system (3 entries)
fault-tolerant systems (3 entries)
fault-tolerant technique (2 entries)
fault tree (3 entries)
fault trees (3 entries)
feedback control (3 entries)
feedback control logic (4 entries)
fieldbus (2 entries)
FIFO net (3 entries)
FIFO-nets (2 entries)
filter (2 entries)
finite automata (3 entries)
finite state automata (3 entries)
finite state machine (5 entries)
firing rule (2 entries)
firing sequence (7 entries)
firing sequences (2 entries)
firing speed (2 entries)
firing time (2 entries)
first order logic (3 entries)
flexibility (2 entries)
flexible assembly system (3 entries)
flexible assembly systems (2 entries)
flexible fertigungssysteme (2 entries)
flexible manufacturing (3 entries)
flexible manufacturing cell (4 entries)
flexible manufacturing cells (2 entries)
flexible manufacturing system (53 entries)
flexible manufacturing systems (61 entries)
flexible production systems (3 entries)
flow computation (2 entries)
flow event structure (3 entries)
flow net (2 entries)
fluid stochastic petri nets (10 entries)
FMS (3 entries)
folding (6 entries)
forbidden state (3 entries)
forbidden state control (2 entries)
forbidden states (6 entries)
formal analysis (3 entries)
formal description techniques (2 entries)
formal languages (4 entries)
formal methods (27 entries)
formal models (4 entries)
formal models in business process management (2 entries)
formal semantics (6 entries)
formal software process model (2 entries)
formal specification (13 entries)
formal specifications (7 entries)
formal verification (15 entries)
FPGA (3 entries)
framework (2 entries)
free-choice net (13 entries)
free-choice petri nets (7 entries)
free-choice place/transition net (2 entries)
free-choice system (5 entries)
frozen token (3 entries)
function net (3 entries)
functional subnet (16 entries)
fundamental equation (3 entries)
FUNSOFT net (2 entries)
fusion (3 entries)
fusion sets (2 entries)
fuzzy logic (5 entries)
fuzzy marking (2 entries)
fuzzy net (4 entries)
fuzzy petri net (4 entries)
fuzzy petri nets (26 entries)
fuzzy production rules (2 entries)
fuzzy reasoning (8 entries)
fuzzy time petri nets (2 entries)
fuzzy timing (2 entries)
fuzzy-timing petri nets (3 entries)
gate level logic (2 entries)
general net theory (3 entries)
general petri nets (2 entries)
general state space markov chains (3 entries)
generalised stochastic net (3 entries)
generalized net (8 entries)
generalized nets (2 entries)
generalized petri nets (2 entries)
generalized semi-Markov processes (3 entries)
generalized stochastic net (36 entries)
generalized stochastic petri nets (9 entries)
generalized trace (2 entries)
generation (3 entries)
generic model (2 entries)
genetic algorithms (8 entries)
geschäftsprozeÑmodellierung (2 entries)
global (2 entries)
grafcet (6 entries)
grafchart (2 entries)
GRAPH (2 entries)
graph grammar (2 entries)
graph theory (4 entries)
graph transformation (3 entries)
graph transformations (2 entries)
graphic editor (2 entries)
graphical modelling language (2 entries)
graphical user interfaces (2 entries)
GRASPIN (5 entries)
greatSPN (6 entries)
grid bus (2 entries)
GSPN (17 entries)
guard (3 entries)
guarded command (2 entries)
guidelines of modeling (2 entries)
handles (2 entries)
hardware (3 entries)
hardware failures (2 entries)
hardware implementation (2 entries)
hardware message router (2 entries)
hardware net (2 entries)
hardware/software codesign (5 entries)
HDLC protocol (2 entries)
heaps of pieces (2 entries)
heterogeneous computing environments (2 entries)
heuristic search (4 entries)
hierarchical (4 entries)
hierarchical analysis (2 entries)
hierarchical approach (2 entries)
hierarchical coloured net (5 entries)
hierarchical control (4 entries)
hierarchical decomposition (4 entries)
hierarchical design (2 entries)
hierarchical modeling (11 entries)
hierarchical modelling (4 entries)
hierarchical net (4 entries)
hierarchical object oriented design (2 entries)
hierarchical petri nets (13 entries)
hierarchical place/transition nets (3 entries)
hierarchical planning (2 entries)
hierarchical system (2 entries)
hierarchical systems (2 entries)
hierarchies (2 entries)
hierarchy (3 entries)
high level description (2 entries)
high level net (47 entries)
high-Level nets (6 entries)
high-level petri net (2 entries)
high-level petri nets (69 entries)
high-Level replacement system (2 entries)
high-level-replacement systems (3 entries)
high-level specification (2 entries)
high-level timed net (2 entries)
high-order net (4 entries)
high speed local area network (2 entries)
higher-level net models (7 entries)
higher-order object nets (2 entries)
history (2 entries)
history preserving bisimulation (5 entries)
home space (3 entries)
home space property (2 entries)
home state (6 entries)
HOOD net (2 entries)
horn clause logic (2 entries)
horn clause propositional logic (3 entries)
horn clauses (2 entries)
HPrTNs (3 entries)
hybrid (2 entries)
hybrid automata (3 entries)
hybrid dynamic systems (6 entries)
hybrid modes (2 entries)
hybrid petri nets (12 entries)
hybrid system (3 entries)
hybrid systems (17 entries)
hypercube (2 entries)
hypertext (5 entries)
IDEF0 (3 entries)
IDEF3 (3 entries)
IIOP (2 entries)
implementation (5 entries)
implicit place (2 entries)
imprecise marking (2 entries)
imprecision (2 entries)
incidence matrix (5 entries)
incompleteness (2 entries)
incremental design (2 entries)
incremental development (2 entries)
incremental validation (2 entries)
individual token (3 entries)
industrial applications (5 entries)
industrial case study (2 entries)
industrial control (2 entries)
industrial management (2 entries)
inevitability (2 entries)
infinite reachability tree (2 entries)
infinite-state systems (4 entries)
influencing net (2 entries)
information flow (4 entries)
information system (4 entries)
information systems (12 entries)
information transfer model (2 entries)
inheritance (5 entries)
inheritance anomaly (2 entries)
inhibitor arc (11 entries)
inhibitor arcs (6 entries)
inspection (2 entries)
instruction list (2 entries)
integer programming. (2 entries)
integrated environment (2 entries)
integrated information flow (2 entries)
integrated software development (2 entries)
integrated system analysis (2 entries)
integration (3 entries)
intelligent control (3 entries)
intelligent systems (2 entries)
interaction (3 entries)
interconnection subsystem (2 entries)
interface equivalence (4 entries)
interfaces (3 entries)
interleaving (7 entries)
interleaving equivalence (2 entries)
interleaving semantics (9 entries)
internet (3 entries)
internet protocols (3 entries)
interoperability (2 entries)
interpreted net (4 entries)
interpreted petri nets (8 entries)
interprocess communication (4 entries)
interval nets (2 entries)
interval petri nets (2 entries)
interworking (2 entries)
introduction (4 entries)
invariant (14 entries)
invariant analysis (5 entries)
invariant semantics (3 entries)
ISDN (3 entries)
iteration lemmata (2 entries)
java (7 entries)
job-shop system (3 entries)
JOYCE+ (2 entries)
just-in-time control (2 entries)
k-distinguishability (3 entries)
k-tree (2 entries)
kanban-control (2 entries)
kanban systems (3 entries)
key encapsulation (2 entries)
key recovery system (2 entries)
knitting technique (4 entries)
knockout switch (2 entries)
knowledge base (5 entries)
knowledge-based control (2 entries)
knowledge based system (2 entries)
knowledge-based systems (3 entries)
knowledge discovery (3 entries)
knowledge representation (17 entries)
kronecker algebra (4 entries)
kronecker representation (3 entries)
labeled partial (2 entries)
labeled petri nets (2 entries)
labelled event structure (6 entries)
labelled net (5 entries)
labelled predicate/transition net (2 entries)
labelled transition system (2 entries)
labelling (3 entries)
ladder logic diagrams. (4 entries)
lagrangian relaxation (2 entries)
lambda calculus (2 entries)
LAN (4 entries)
language (6 entries)
language equivalence (3 entries)
LAPD protocol (3 entries)
large net (2 entries)
lattice (2 entries)
legal firing sequence problem (2 entries)
leistungsfähigkeit (2 entries)
lifeness (4 entries)
lift system (2 entries)
linda (3 entries)
linear algebraic representation (2 entries)
linear logic (14 entries)
linear logics (3 entries)
linear programming (14 entries)
linear system (4 entries)
linear temporal logic (3 entries)
linear temporal logics (2 entries)
link (2 entries)
link access procedure (2 entries)
LISP (2 entries)
little's law (2 entries)
live (18 entries)
liveness (50 entries)
liveness preservation (5 entries)
liveness property (6 entries)
load balancing (2 entries)
local area network (11 entries)
local area networks (2 entries)
local property (2 entries)
local state transformation (2 entries)
logic (12 entries)
logic circuits (2 entries)
logic controllers (8 entries)
logic programming (4 entries)
logic synthesis (2 entries)
logical petri nets (2 entries)
loop scheduling (3 entries)
LOTOS (2 entries)
LOTOS specifications (2 entries)
m-nets (9 entries)
macroplace (3 entries)
maintenance (2 entries)
make-span (2 entries)
management (2 entries)
manufacturing (3 entries)
manufacturing cell control (2 entries)
manufacturing cells (12 entries)
manufacturing control system (2 entries)
manufacturing dispatching (2 entries)
manufacturing message specification (3 entries)
manufacturing processes (4 entries)
manufacturing software (2 entries)
manufacturing system (8 entries)
manufacturing system control (2 entries)
manufacturing systems (75 entries)
manufacturing systems control (2 entries)
marked graph (9 entries)
marked graph model ATAMM (2 entries)
marked graphs (6 entries)
marked net (3 entries)
marking optimization (2 entries)
markov chain (16 entries)
markov chain reduction (2 entries)
markov chains (18 entries)
markov decision theory (2 entries)
markov model (2 entries)
markov models (5 entries)
markov process (7 entries)
markov processes (10 entries)
markov regenerative processes (7 entries)
markov regenerative stochastic petri nets (4 entries)
markov renewal process (2 entries)
markov renewal processes (3 entries)
markov reward models (3 entries)
markov stochastic net (2 entries)
markovian performance evaluation (2 entries)
massively parallel computers (2 entries)
material handling systems (3 entries)
matrix algorithm (2 entries)
matrix equations (2 entries)
matrix operations (2 entries)
maude (3 entries)
max-algebra (2 entries)
max-plus algebra (3 entries)
maximal step semantics (2 entries)
maximum firing rule (2 entries)
mazurkiewicz traces (2 entries)
mean service time (2 entries)
measurement (2 entries)
medicine (2 entries)
memory controller (2 entries)
merged processes (2 entries)
message-passing (3 entries)
meta-heuristic (3 entries)
metabolic networks (2 entries)
metamodeling (2 entries)
methodology (3 entries)
migrating data driven architecture (2 entries)
minimal coverability graph (2 entries)
minimal siphons (5 entries)
minimax algebra (3 entries)
minimum initial marking (4 entries)
mixed petri nets (2 entries)
mobile ad-hoc network. (2 entries)
mobile agent (5 entries)
mobile agent system (2 entries)
mobile agent systems (2 entries)
mobile agents (3 entries)
mobile systems (2 entries)
mobility (5 entries)
modal logic (7 entries)
modal logics (2 entries)
modality (2 entries)
model (3 entries)
model-based evaluation (2 entries)
model-checking (47 entries)
model composition (2 entries)
model design (3 entries)
model reduction (2 entries)
model specification (2 entries)
model synthesis (3 entries)
model transformation (3 entries)
modeling (41 entries)
modeling methodology (2 entries)
modeling power (2 entries)
modeling tools (4 entries)
modellierung (2 entries)
modellierungsmächtigkeit (2 entries)
modelling (67 entries)
modelling power (3 entries)
modelling tool (2 entries)
modified net (8 entries)
modula-2 (3 entries)
modular analysis (2 entries)
modular approach (2 entries)
modular construction (2 entries)
modular decomposition (2 entries)
modular modeling (4 entries)
modular petri nets (3 entries)
modular process nets (2 entries)
modular structure (2 entries)
modular synthesis (2 entries)
modular system (2 entries)
modular verification (3 entries)
modularity (5 entries)
modularization (3 entries)
modules (2 entries)
monadic second order logic (3 entries)
monitoring (2 entries)
monoidal categories (2 entries)
monte carlo simulation (2 entries)
morphism (4 entries)
MULAN (11 entries)
multi-Agent simulation (2 entries)
multi-Agent-System (8 entries)
multi agent systems (19 entries)
multi robot system (2 entries)
multiagent systems (3 entries)
multicomputer (2 entries)
multimedia (3 entries)
multimedia presentation (2 entries)
multimedia synchronization (2 entries)
multiple products (2 entries)
multiplicity (2 entries)
multiprocessing (2 entries)
multiprocessing systems (2 entries)
multiprocessor (2 entries)
multiprocessor architecture (3 entries)
multiprocessor architectures (3 entries)
multiprocessor system (9 entries)
multiprocessor systems (3 entries)
multithreaded architectures (3 entries)
multivalued logic (3 entries)
mutual exclusion (6 entries)
natural language (2 entries)
NESSY (4 entries)
net abstraction (2 entries)
net analysis (13 entries)
net-based algebraic calculi (2 entries)
net-based high-speed programmable controller (2 entries)
net behaviour (3 entries)
net classes (2 entries)
net components (2 entries)
net composition (12 entries)
net controller (4 entries)
net decomposition (6 entries)
net equivalence (3 entries)
net extension (3 entries)
net folding (3 entries)
net formalism (2 entries)
net invariant (4 entries)
net invariants (4 entries)
net language (11 entries)
net model (8 entries)
net modelling (4 entries)
net models (6 entries)
net morphism (2 entries)
net partitioning (2 entries)
net reduction (4 entries)
net reductions (2 entries)
net refinements (4 entries)
net representation (3 entries)
net semantics (7 entries)
net simulation (9 entries)
net simulator (2 entries)
net software package (2 entries)
net system (2 entries)
net theory (25 entries)
net tool (47 entries)
net topology (2 entries)
net transducer (2 entries)
net transformation (3 entries)
net transformations (2 entries)
net unfolding (6 entries)
net unfoldings (4 entries)
nets-within-nets (17 entries)
nets-within-Nets paradigm (2 entries)
network protocol (2 entries)
network reliability (2 entries)
networked virtual environments (2 entries)
neural network (2 entries)
neural networks (7 entries)
NICE (2 entries)
non-action (2 entries)
non-exponential distributions (4 entries)
non-Markovian models (2 entries)
non-Markovian petri nets (2 entries)
non-Markovian stochastic petri nets (2 entries)
nondeterminism (3 entries)
nondeterministic process (2 entries)
nonmonotonic reasoning (2 entries)
NP-completeness (4 entries)
numerical analysis (3 entries)
numerical net (4 entries)
OBJ language (5 entries)
object modeling techniques (2 entries)
object net (2 entries)
object nets (4 entries)
object-Orientation (13 entries)
object-oriented (7 entries)
object-oriented approach (2 entries)
object-oriented database (2 entries)
object-oriented design (6 entries)
object-oriented language (2 entries)
object-oriented methodology (9 entries)
object-oriented methods (3 entries)
object-oriented modeling (3 entries)
object-oriented modelling (2 entries)
object-oriented models (3 entries)
object oriented nets (2 entries)
object-oriented petri nets (12 entries)
object-oriented programming (2 entries)
object petri nets (10 entries)
objects (2 entries)
OBJSA net (8 entries)
observational equivalence (4 entries)
observational home equivalence (2 entries)
occam (10 entries)
occam-2 (3 entries)
OCCAM language (2 entries)
occurrence graph (2 entries)
occurrence graphs (2 entries)
occurrence net (8 entries)
occurrence nets (7 entries)
ODP trader (2 entries)
on-the-fly verification (2 entries)
ontologies (4 entries)
ontology (2 entries)
OO (4 entries)
open systems interconnection (2 entries)
operating procedures (2 entries)
operating system (3 entries)
operating systems (2 entries)
operational control (2 entries)
operational semantics (12 entries)
operations research (4 entries)
optimal deadlock prevention (2 entries)
optimal estimation (2 entries)
optimal simulation (2 entries)
optimization (4 entries)
oral message algorithm (2 entries)
ordered net (2 entries)
overview (4 entries)
1-bounded conflict-free net (2 entries)
1-safe inhibitor net (3 entries)
2-structure (2 entries)
² (2 entries)
� (6 entries)
p-invariant (9 entries)
p-invariants (2 entries)
parallel (4 entries)
parallel algorithm (5 entries)
parallel application (2 entries)
parallel architecture (2 entries)
parallel architectures (2 entries)
parallel complexity (2 entries)
parallel composition (3 entries)
parallel computation (3 entries)
parallel computer (4 entries)
parallel computing (2 entries)
parallel controllers (3 entries)
parallel execution (4 entries)
parallel finite automata (3 entries)
parallel object-based system (2 entries)
parallel operator (2 entries)
parallel platforms (2 entries)
parallel processing (13 entries)
parallel program (3 entries)
parallel programming (5 entries)
parallel programming language (5 entries)
parallel programs (5 entries)
parallel simulation (2 entries)
parallel software engineering (2 entries)
parallel software/system engineering (3 entries)
parallel system (2 entries)
parallel systems (3 entries)
parallelism (2 entries)
parametric model (3 entries)
partial evaluation (2 entries)
partial-order (6 entries)
partial order logic (3 entries)
partial order logics (2 entries)
partial order reduction (3 entries)
partial order semantics (24 entries)
partial order techniques (2 entries)
partial orders (9 entries)
partial word language (2 entries)
partially-synchronous systems (2 entries)
partitioning methods (2 entries)
pattern-directed implementation (2 entries)
pattern recognition (5 entries)
patterns (3 entries)
PEP (10 entries)
PEPA (3 entries)
performability (8 entries)
performability analysis (2 entries)
performability evaluation (5 entries)
performability modelling (2 entries)
performance (38 entries)
performance analysis (77 entries)
performance and dependability evaluation (2 entries)
performance bounds (7 entries)
performance comparisons (2 entries)
performance estimation (3 entries)
performance evaluation (100 entries)
performance indices (3 entries)
performance measure (3 entries)
performance modeling (16 entries)
performance modelling (6 entries)
performance models (5 entries)
performance net (2 entries)
performance prediction (10 entries)
persistent net (2 entries)
petri box (2 entries)
petri box calculus (6 entries)
petri net generation (2 entries)
petri net languages (5 entries)
petri net model (2 entries)
petri net modeling (3 entries)
petri net modelling (2 entries)
petri net models (3 entries)
petri net morphisms (2 entries)
petri net semantics (4 entries)
petri net synthesis (3 entries)
petri-net tools (4 entries)
petri net transformation (2 entries)
petri net unfolding (3 entries)
petri net unravelling (2 entries)
: petri nets (14 entries)
petri nets with silent transitions (2 entries)
petri-Netz (2 entries)
petri�nets (2 entries)
petrinetze (6 entries)
phase-type distributions (3 entries)
pi-calculus (2 entries)
picture archiving (2 entries)
pipeline processor (2 entries)
PL/1 (2 entries)
place (4 entries)
place bisimulations (3 entries)
place invariant (4 entries)
place invariants (6 entries)
place refinement (2 entries)
place/transition net (38 entries)
place/transition nets (4 entries)
place/transition petri nets (2 entries)
place/transition system (5 entries)
planning (4 entries)
PLC (2 entries)
plug-in architectures (2 entries)
PNiQ (2 entries)
PNML (4 entries)
polynomial-time algorithm (3 entries)
possibility theory (2 entries)
power systems (2 entries)
pr/T-nets (3 entries)
pragmatic dimension (2 entries)
predicate/event net (2 entries)
predicate/transition net (49 entries)
predicate/transition nets (13 entries)
predicate/transition petri nets (2 entries)
predicate/transition system (2 entries)
preemption policies (4 entries)
preemptive scheduling (3 entries)
PRES+ (2 entries)
presburger arithmetic (2 entries)
preservation (4 entries)
prime event structure (3 entries)
priorities (3 entries)
priority (7 entries)
priority net (2 entries)
priority system (2 entries)
procedures (5 entries)
process (13 entries)
process algebra (5 entries)
process algebras (14 entries)
process control (11 entries)
process equivalence (3 entries)
process mining (7 entries)
process modeling (5 entries)
process monitoring (3 entries)
process net system (2 entries)
process-oriented imperative languages (2 entries)
process planning (2 entries)
process semantics (3 entries)
process verification and validation (2 entries)
processes (9 entries)
processing time (3 entries)
product (2 entries)
product form solution (8 entries)
product net (5 entries)
production cell (3 entries)
production management (3 entries)
production processes (2 entries)
production rules (3 entries)
production system (3 entries)
production systems (11 entries)
program control (3 entries)
program verification (5 entries)
programmable controllers (2 entries)
programmable logic controller (10 entries)
programmable logic controllers (9 entries)
programming (2 entries)
programming language (2 entries)
programming languages (2 entries)
project engineering (2 entries)
project management (7 entries)
PROLOG (9 entries)
property preservation (3 entries)
propositional dynamic logic (3 entries)
propositional logic (2 entries)
PROT net (8 entries)
PROTEAN (4 entries)
PROTOB (9 entries)
protocol (8 entries)
protocol analysis (2 entries)
protocol emulation (2 entries)
protocol engineering (4 entries)
protocol hierarchy (3 entries)
protocol modelling (2 entries)
protocol performance (2 entries)
protocol specification (4 entries)
protocol synthesis (2 entries)
protocol verification (3 entries)
protocols (7 entries)
prototyping (17 entries)
PROVER (2 entries)
prozeÑkoordinierung (2 entries)
PSItool NET (2 entries)
PSPACE completeness (3 entries)
pull system control (2 entries)
qualitative analysis (3 entries)
qualitative and quantitative analysis (2 entries)
qualitative modeling (3 entries)
qualitative properties (2 entries)
quality assurance (2 entries)
quality of service (4 entries)
quantitative analysis (5 entries)
queueing network (9 entries)
queueing networks (8 entries)
queueing petri nets (6 entries)
queueing theory (2 entries)
quotient net (2 entries)
railway systems (3 entries)
randomization technique (2 entries)
rapid prototyping (7 entries)
rational control (2 entries)
reachability (24 entries)
reachability analysis (44 entries)
reachability graph (17 entries)
reachability graph computation (2 entries)
reachability graph generation (2 entries)
reachability graphs (2 entries)
reachability problem (15 entries)
reachability set (5 entries)
reachability tree (9 entries)
reachability tree analysis (2 entries)
reachable marking (5 entries)
reactive system (6 entries)
reactive systems (7 entries)
reactor surveillance (4 entries)
read arcs (2 entries)
real time (9 entries)
real-time computational tree logic (2 entries)
real-time control (5 entries)
real-time data flow architecture (2 entries)
real-time decision making (2 entries)
real time production control (2 entries)
real-time programming (3 entries)
real-time reactive systems (3 entries)
real time system (10 entries)
real-time systems (43 entries)
real-time systems modeling and verification (2 entries)
reasoning (2 entries)
reconfigurable architecture (2 entries)
reconfiguration (2 entries)
recovery (6 entries)
recursion (4 entries)
reduced instruction set computer (2 entries)
reduced reachability graph (2 entries)
reduced state space generation (4 entries)
reduction (10 entries)
reduction by equivalence and symmetry (2 entries)
reduction theory (2 entries)
redundancy (4 entries)
reentrant net (2 entries)
reference nets (13 entries)
refinement (40 entries)
refuge-behaviour (2 entries)
regenerative simulation (2 entries)
region (2 entries)
regions (3 entries)
regular (2 entries)
relationships between net theory and other approaches (2 entries)
reliability (17 entries)
reliability-analysis (7 entries)
reliability evaluation (3 entries)
reliability modeling (3 entries)
RENEW (18 entries)
renewal processes (2 entries)
replacement (3 entries)
replanning (2 entries)
replicated file system (2 entries)
requirement analysis (3 entries)
requirement specification (2 entries)
requirements analysis (2 entries)
requirements engineering (4 entries)
requirements specification (4 entries)
resolution (2 entries)
resource allocation (7 entries)
resource constraint (2 entries)
resource control nets (2 entries)
resource requirement (2 entries)
resource sharing (9 entries)
resources (2 entries)
response time (5 entries)
response time estimation (2 entries)
restricted net (2 entries)
retrieval (2 entries)
reusable components (3 entries)
reverse engineering (3 entries)
reversibility (5 entries)
reversible free choice system (2 entries)
reversible logic (2 entries)
rewriting logic (3 entries)
rewriting system (2 entries)
RISC/B processor (2 entries)
risk analysis (3 entries)
robot (6 entries)
robotic systems (2 entries)
robotics (4 entries)
role (2 entries)
rollback recovery (2 entries)
rough fuzzy petri nets (2 entries)
rough sets (8 entries)
RP-subnet (2 entries)
rule-based (2 entries)
rule-Based nets (4 entries)
rule-Based refinement (4 entries)
rule-based refinements (2 entries)
rule-based system (3 entries)
rule-based systems (5 entries)
rule induction (2 entries)
rules (4 entries)
s-invariant (8 entries)
SA/RT specifications (4 entries)
safe free choice net (4 entries)
safe net (6 entries)
safeness (9 entries)
safety (6 entries)
safety analysis (6 entries)
safety critical systems (3 entries)
safety property (2 entries)
SAT (3 entries)
satisfiability problem (3 entries)
scattering net (2 entries)
scenarios (2 entries)
scheduling (25 entries)
scheduling algorithms (4 entries)
SCRIPT (2 entries)
SDL (11 entries)
security (8 entries)
SEGRAS (4 entries)
SEGRAS specification language (2 entries)
self-stabilization (3 entries)
self-timed circuits (2 entries)
semantic (2 entries)
semantic equivalence (2 entries)
semantic net (3 entries)
semantic web (5 entries)
semantics (25 entries)
semenatics (3 entries)
semi-commutation rewriting system (2 entries)
semi-commutative monoid (2 entries)
semi-Markov processes (2 entries)
semi-modular circuits (2 entries)
semi-trace (2 entries)
semiconductor manufacturing (3 entries)
semiconductor manufacturing systems (4 entries)
semilinear set (2 entries)
semilinearity (3 entries)
seminet (3 entries)
semiring (2 entries)
sensitivity analysis (2 entries)
sensor. (2 entries)
separation of duties (2 entries)
sequence control (2 entries)
sequence controllers (3 entries)
sequential (2 entries)
sequential composition (4 entries)
sequential control (4 entries)
sequential mutual exclusion (2 entries)
sequential nets (10 entries)
sequential processes (5 entries)
service composition (2 entries)
service definition (2 entries)
service specification (4 entries)
services (2 entries)
shared memory systems (2 entries)
shared resource (4 entries)
shared resources (7 entries)
side-condition (4 entries)
signal (2 entries)
signal interpreted petri nets (4 entries)
signal processing (2 entries)
signal transduction networks (2 entries)
signal transition graph (10 entries)
signal transition graphs (10 entries)
silent actions (2 entries)
SIMNET (2 entries)
simulated annealing (5 entries)
simulation (96 entries)
simulation environments (2 entries)
simulation methods (3 entries)
simulation modeling (3 entries)
simulation net (2 entries)
simulation of manufacturing. (2 entries)
simulation techniques (2 entries)
simulation tools (5 entries)
simulator (3 entries)
siphon (5 entries)
siphon/trap-component (2 entries)
siphons (4 entries)
sleep set method (2 entries)
socionics (2 entries)
software analysis (2 entries)
software architecture (17 entries)
software design (2 entries)
software development (9 entries)
software engineering (15 entries)
software failures (2 entries)
software maintenance (2 entries)
software performance (3 entries)
software performance engineering (4 entries)
software process (2 entries)
software project management (2 entries)
software reuse (3 entries)
software specification (3 entries)
software testing (2 entries)
software tool (9 entries)
software tools (14 entries)
software validation (3 entries)
SOS semantics. (2 entries)
soundness (3 entries)
spanning-tree (2 entries)
specification (18 entries)
specification language (4 entries)
specification language OBJ (2 entries)
specification languages (2 entries)
specification tool (2 entries)
specification verification (2 entries)
speed independence (2 entries)
speed-independent circuits (5 entries)
speed-up of computations (2 entries)
SPNP (2 entries)
stability (2 entries)
stability analysis (2 entries)
stable models (2 entries)
standard (2 entries)
standard IEC 1131 (2 entries)
standard meta language (2 entries)
state equation (4 entries)
state explosion (2 entries)
state explosion problem (3 entries)
state machine (3 entries)
state observability (2 entries)
state space (10 entries)
state-space analysis (5 entries)
state space based approaches (4 entries)
state-space construction (2 entries)
state space exploration (2 entries)
state space explosion (7 entries)
state space explosion problem (2 entries)
state space generation (4 entries)
state space methods (4 entries)
state-space reduction (2 entries)
state spaces (4 entries)
state transition logic (4 entries)
state transition systems (2 entries)
statecharts (6 entries)
states (2 entries)
static analysis (8 entries)
static dataflow software pipeline (2 entries)
static system (2 entries)
stationary behavior (2 entries)
stationary probability (3 entries)
steady-state analysis (4 entries)
steady-state performance (4 entries)
steady state probability (2 entries)
steady-state token probability (2 entries)
step semantics (7 entries)
step sequence semantics (2 entries)
step sequences (4 entries)
stepwise refinements (2 entries)
STG (2 entries)
stochastic activity network (3 entries)
stochastic activity networks (8 entries)
stochastic high level net (2 entries)
stochastic modeling (2 entries)
stochastic net (46 entries)
stochastic net model (2 entries)
stochastic net models (2 entries)
stochastic net simulation (2 entries)
stochastic nets (2 entries)
stochastic petri net (10 entries)
stochastic petri nets (167 entries)
stochastic preemptive time petri nets. (2 entries)
stochastic process (3 entries)
stochastic process algebra (2 entries)
stochastic process algebras (8 entries)
stochastic processes (3 entries)
stochastic reward model (2 entries)
stochastic reward net (2 entries)
stochastic reward nets (5 entries)
stochastic simulation (3 entries)
stochastic timed net (4 entries)
stochastic timed petri nets (3 entries)
stop and wait protocols (3 entries)
strictly labelled nets (2 entries)
string (2 entries)
strong (2 entries)
strong bisimilarity (2 entries)
strong connectedness (3 entries)
structural analysis (7 entries)
structural deadlocks (2 entries)
structural liveness (4 entries)
structural properties (10 entries)
structural reduction rule (2 entries)
structural theory (2 entries)
structure (6 entries)
structure and behavior of nets (4 entries)
structure and behaviour of nets (4 entries)
structure grammar (2 entries)
structure theory (4 entries)
structured analysis (11 entries)
structured net (2 entries)
structured programming (2 entries)
structured representation (2 entries)
structured timed coloured net (2 entries)
structured token (3 entries)
structured transition system (3 entries)
structuring techniques (3 entries)
stubborn set method (6 entries)
stubborn sets (10 entries)
subnet (11 entries)
substitution (2 entries)
subtyping (2 entries)
superposed automata net (7 entries)
superposed GSPN (2 entries)
superposition technique (2 entries)
supervision (2 entries)
supervisory control (22 entries)
supervisory controller (2 entries)
supervisory policies (2 entries)
supply chain management (2 entries)
suprastructure (2 entries)
survey (2 entries)
switch (4 entries)
switched network (3 entries)
SWN (2 entries)
symbolic computation (3 entries)
symbolic execution (3 entries)
symbolic marking (2 entries)
symbolic model checking (6 entries)
symbolic reachability graph (4 entries)
symbolic reachability graphs (2 entries)
symmetries (3 entries)
symmetry (2 entries)
symmetry detection (2 entries)
symmetry method (2 entries)
synchronic distance (7 entries)
synchronization (14 entries)
synchronization graphs (3 entries)
synchronization structure (2 entries)
synchronized queueing network (2 entries)
synchronized queueing networks (2 entries)
synchronous communication mechanism (2 entries)
synthesis (22 entries)
system analysis (3 entries)
system decomposition (2 entries)
system design (10 entries)
system design and verification using nets (3 entries)
system design using nets (2 entries)
system development (3 entries)
system modeling (3 entries)
system modelling (3 entries)
system specification (8 entries)
system specifications (5 entries)
system synthesis (2 entries)
system validation (2 entries)
system verification (8 entries)
systematic software development (2 entries)
systems engineering (2 entries)
systems modeling (3 entries)
systolic array (3 entries)
t-component (2 entries)
t-invariant (3 entries)
t-invariants (8 entries)
tandem AGV systems (2 entries)
task allocation (4 entries)
task decomposition (2 entries)
task scheduling (6 entries)
TCP (4 entries)
TCP connection management (4 entries)
teamwork (2 entries)
technical safety (2 entries)
telecommunication protocol (4 entries)
temporal composition (3 entries)
temporal constraints (2 entries)
temporal interval (2 entries)
temporal knowledge (2 entries)
temporal logic (34 entries)
temporal logics (16 entries)
temporal net (3 entries)
temporal properties (3 entries)
temporal reasoning (2 entries)
tense logic (2 entries)
term substitution (2 entries)
termination (7 entries)
test generation (3 entries)
test point (3 entries)
testbed (2 entries)
testing (4 entries)
tetris game (2 entries)
theory (3 entries)
theory of computation (2 entries)
theory of concurrency (4 entries)
theory of high-Level petri nets (2 entries)
THORN (2 entries)
throughput (4 entries)
throughput analysis (3 entries)
throughput bounds (3 entries)
time (6 entries)
time complexity (2 entries)
time-critical system (2 entries)
time-critical systems (2 entries)
time-dependent petri nets (3 entries)
time net (4 entries)
time petri net (7 entries)
time petri nets (51 entries)
time stream petri nets (2 entries)
timed (4 entries)
timed automata (8 entries)
timed bisimilarity (3 entries)
timed coloured net (4 entries)
timed continuous net (2 entries)
timed event graph (2 entries)
timed event graphs (6 entries)
timed marked graphs (4 entries)
timed net (52 entries)
timed nets (3 entries)
timed petri net (5 entries)
timed petri nets (85 entries)
timed place/transition net (2 entries)
timed-transition net (2 entries)
timeNET (2 entries)
timeout (2 entries)
timing analysis (5 entries)
timing constraint (2 entries)
timing verification (2 entries)
tool (6 entries)
tool based verification (2 entries)
tools (9 entries)
top-down approach (2 entries)
top down design (2 entries)
top-down refinement (2 entries)
topology (2 entries)
toroidal manifold (2 entries)
TPN (2 entries)
TPN-tools (2 entries)
TPNsim (2 entries)
trace (4 entries)
trace equivalence (2 entries)
trace language (7 entries)
trace logic (2 entries)
trace semantics (3 entries)
trace structure (3 entries)
trace theory (4 entries)
traces (3 entries)
traffic equations (2 entries)
train control systems (6 entries)
transformation (3 entries)
transient analysis (8 entries)
transient solution (2 entries)
transition (5 entries)
transition invariants (2 entries)
transition synchronization (2 entries)
transition system (6 entries)
transition systems (10 entries)
transjunction (2 entries)
transmission control protocol (2 entries)
transport protocol (2 entries)
transport protocols (2 entries)
transputer (4 entries)
transputer network (3 entries)
trap (10 entries)
traps (4 entries)
trellis (3 entries)
TRIO (2 entries)
true concurrency (10 entries)
true concurrency semantics (2 entries)
TURBO-PASCAL (2 entries)
UDP/IP (2 entries)
UML (25 entries)
unbounded net (2 entries)
unboundedness (2 entries)
uncertainty (4 entries)
uncontrollable transitions (4 entries)
undecidability (3 entries)
unfolding (9 entries)
uniformization (4 entries)
union (2 entries)
UNIX (4 entries)
upgraded petri nets (2 entries)
use cases (2 entries)
user interface (7 entries)
validation (24 entries)
variable-free logic programs (2 entries)
vector addition system (7 entries)
vector controlled concurrent system (2 entries)
vector processing (2 entries)
vector replacement system (2 entries)
verification (73 entries)
verification methods (2 entries)
verification system (2 entries)
verification tool (2 entries)
verilog HDL (2 entries)
VHDL (7 entries)
virtual enterprises (3 entries)
virtual reality (2 entries)
visual language (3 entries)
visual languages (2 entries)
VLSI (8 entries)
wafer fabrication (2 entries)
ward scheduling algorithm (2 entries)
weak persistency (2 entries)
weak timed bisimilarity. (2 entries)
web service (5 entries)
web service composition (3 entries)
web services (7 entries)
weighted inhibitor arcs (3 entries)
well-behaved information flow net (2 entries)
well-behavedness preservation (2 entries)
well definedness (2 entries)
well-formed petri nets (4 entries)
workflow (20 entries)
workflow analysis (2 entries)
workflow management (19 entries)
workflow management system (3 entries)
workflow management systems (3 entries)
workflow mining (2 entries)
workflow modeling (7 entries)
workflow patterns (3 entries)
workflow processes (2 entries)
x-Windows (2 entries)
XML (8 entries)
z (3 entries)

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography