High-Level Petri Net Model Checking With AlPiNA

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2011-608
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Model Checking Using Net Unfoldings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Petri Net Based High Speed Programmable Controller

Transactions of the Society of Instrument and Control Engineers
1991English

Petri Net Synthesis

Texts in Theoretical Computer Science. An EATCS Series
2015English

Parallel Application Scheduling Model Based on Petri Net With Changeable Structure

2010English

Toward Automatic Analyzing Statechart With Petri Net

Information Technology Journal
2013English

Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net

International Journal of Computer Applications
2013English

Advanced Saturation-Based Model Checking of Well-Formed Coloured Petri Nets

Periodica polytechnica Electrical engineering and computer science
Electronic EngineeringInformation SystemsSignal ProcessingComputer NetworksCommunicationsComputer Science ApplicationsElectricalSoftware
2014English

Cast Aluminum Energy Consumption Model Based on Fuzzy Petri Net

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy