最 低 价：￥610.20
| Invited Papers Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets Applications of Craig Interpolation to Model Checking Towards an Algebra for Security Policies Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control Full Papers Genetic Process Mining The (True) Concurrent Markov Property and Some Applications to Markov Nets On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets Extremal Throughputs in Free-Choice Nets A Framework to Decompose GSPN Models Modeling Dynamic Architectures Using Nets-Within-Nets A High Level Language for Structural Relations in Well-Formed Nets Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets Termination Properties of TCP's Connection Management Procedures Soundness of Resource-Constrained Workflow Nets High-Level Nets with Nets and Rules as Tokens Can I Execute My Scenario in Your Net? Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty On the Expressive Power of Petri Net Schemata Determinate STG Decomposition of Marked Graphs Timed-Arc Petri Nets vs. Networks of Timed Automata Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets …… Tool Papers Author Index |
内容加载中，请稍后...
商品评论（0条）