Open AccessTime Causal Processes in Time Petri Nets with Weak Semantics
Author(s) -
Irina Virbitskaite,
Алексей Юрьевич Зубарев
Publication year - 2020
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2020-32(4)-19
Subject(s) - petri net , decidability , semantics (computer science) , process architecture , state space , computer science , partial order reduction , context (archaeology) , theoretical computer science , state (computer science) , stochastic petri net , extension (predicate logic) , interval (graph theory) , programming language , mathematics , model checking , paleontology , statistics , combinatorics , biology