22 results on '"Koutny, Maciej"'
Search Results
2. Extending the Petri Box Calculus with Time
3. Incremental State Space Construction for Coloured Petri Nets
4. Optimising Enabling Tests and Unfoldings of Algebraic System Nets
5. Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
6. A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
7. Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
8. Modelling the Structure and Behaviour of Petri Net Agents
9. Unfolding of Products of Symmetrical Petri Nets
10. Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems
11. Condensed State Spaces for Timed Petri Nets
12. CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
13. Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
14. Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets
15. Timed Petri Nets and BQOs
16. The Flux of Interaction
17. Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
18. partial Order Verification of Programmable Logic Controllers
19. Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
20. Partial S-Invariants for the Verification of Infinite Systems Families
21. Towards a Notion of Distributed Time for Petri Nets : Extended Abstract
22. Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.