The home marking problem and some related concepts
Acta Cybernetica
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Attacking Symbolic State Explosion
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
Concurrency and Hardware Design, Advances in Petri Nets
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
ILP Models for the Synthesis of Asynchronous Control Circuits
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Model checking linear logic specifications
Theory and Practice of Logic Programming
Optimal trajectory generation for petri nets
Acta Cybernetica
State encoding of large asynchronous controllers
Proceedings of the 43rd annual Design Automation Conference
Verification of bounded Petri nets using integer programming
Formal Methods in System Design
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics
Discrete Event Dynamic Systems
Refining and verifying regular Petri nets
International Journal of Systems Science
Information Processing Letters
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Electronic Notes in Theoretical Computer Science (ENTCS)
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement
Discrete Event Dynamic Systems
Linear Properties of Zero-Safe Nets with Debit Tokens
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
On reachability in autonomous continuous Petri net systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Behaviour-preserving transition insertions in unfolding prefixes
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Continuous Petri nets: expressive power and decidability issues
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Process mining meets abstract interpretation
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I
Structural analysis for stochastic process algebra models
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Efficient automatic resolution of encoding conflicts using STG unfoldings
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Recovering model invariants from simulation traces with Petri net analysis techniques
Winter Simulation Conference
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
Continuization of timed petri nets: from performance evaluation to observation and control
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Derivation of non-structural invariants of petri nets using abstract interpretation
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Determinate STG decomposition of marked graphs
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
Automatica (Journal of IFAC)
A Scheduling Strategy for Synchronous Elastic Designs
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Linear Properties of Zero-Safe Nets with Debit Tokens
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
Hierarchical conformance checking of process models based on event logs
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |