|
|||||
|
|
Post and pre-initialized stopwatch Petri nets: Formal semantics and state space computation |
|
| Authors: | Adib Allahham Hassane Alla |
| Affiliation: | aGipsa-laboratory, Department of Control, Institut Polytechnique de Grenoble, BP 46, 38402 St Martin d’Hères Cedex, France |
| Abstract: | |
| Keywords: | mml9" > text-decoration:none color:black" href=" /science?_ob=MathURL&_method=retrieve&_udi=B8CX8-4TWSWXP-1&_mathId=mml9&_user=10&_cdi=40080&_rdoc=17&_acct=C000053510&_version=1&_userid=1524097&md5=3b764488c7edb5c2f6bbb517511bcd95" title=" Click to view the MathML source" alt=" Click to view the MathML source" >T-time Petri net Preemption-resume behavior Stopwatch automata Reachability analysis Post and pre-initialized stopwatch Petri nets |
| 本文献已被 ScienceDirect 等数据库收录！ | |