A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Decidability results in First–Order Hybrid PetriNets
Discrete Event Dynamic Systems
On decidability of the control reachability problem in the asynchronous π-calculus
Nordic Journal of Computing
Recognizable Sets of Message Sequence Charts
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
Blocking a transition in a free choice net and what it tells about its throughput
Journal of Computer and System Sciences
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
Quantitative information in the tuple space coordination model
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
On the Expressiveness of Mobile Synchronizing Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Verification of Bossa Scheduler Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
An exercise in structural congruence
Information Processing Letters
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Electronic Notes in Theoretical Computer Science (ENTCS)
Deficiency Zero Petri Nets and Product Form
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Deciding reachability problems in turing-complete fragments of mobile ambients
Mathematical Structures in Computer Science
Verifying generalized soundness of workflow nets
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Component-based timed hazard analysis of self-healing systems
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Parameterized complexity results for 1-safe Petri nets
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
How to work and play with robots: An approach to modeling human-robot interaction
Computers in Human Behavior
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
When model-checking freeze LTL over counter machines becomes decidable
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Optimising the flow of information within a C3I network
Mathematical and Computer Modelling: An International Journal
Constructing petri net models using genetic search
Mathematical and Computer Modelling: An International Journal
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
On persistent reachability in Petri nets
Information and Computation
Hi-index | 0.00 |