Informatik (15.755 Artikel)

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues ...

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues ...

Transactions on Petri Nets and Other Models of Concurrency VI

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues ...

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and...

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues ...

Transactions on Petri Nets and Other Models of Concurrency XI

Transactions on Petri Nets and Other Models of Concurrency XII

Transactions on Petri Nets and Other Models of Concurrency XIII

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of ...

Transactions on Petri Nets and Other Models of Concurrency XV

The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applicatio...

Transactions on Petri Nets and Other Models of Concurrency XVII

Rough Sets - Introduction.- Some Issues on Rough Sets.- Rough Sets - Theory.- Learning Rules from Very Large Databases Using Rough Multisets.- Data with Missing Attribute Values: Generalization of ...

Regular Papers.- Flow Graphs and Data Mining.- The Rough Set Exploration System.- Rough Validity, Confidence, and Coverage of Rules in Approximation Spaces.- Knowledge Extraction from Intelligent E...