Book Chapter10.1007/978-3-319-07734-5_17

A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application

Ernst Mayr,Jeremias Weihmann-2014-01-01-Lecture notes in computer science

8

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Petri netReachabilityStochastic Petri netLivenessPSPACEComputer scienceReachability problemCompleteness (order theory)

Chat

Click to start Chat